}
private StreamTokenizer createTokenizer(BufferedReader reader)
{
StreamTokenizer t = new StreamTokenizer( reader );
t.commentChar( '#' );
t.ordinaryChars( '0', '9' );
t.ordinaryChars( '.', '.' );
t.ordinaryChars( '-', '-' );
t.ordinaryChars( '+', '+' );
t.wordChars( '0', '9' );