void nextCharNoPrint() throws Exception
   {
      if ((line == null) || (++linePos >= line.length()))
      {
         line = reader.readLine();
         if (line != null)
         {
            while (line.length() > 0 && line.charAt(0) == ';')
            {
               line = reader.readLine();
            }
            line += " ";
            linePos = 0;
            ch = line.charAt(0);
         }
         else
         {
            ch = 0;
         }
      }
      else
      {
         while (line.length() > 0 && line.charAt(linePos) == ';')
         {
            line = reader.readLine();
            linePos = 0;
            nextChar();
         }
         ch = line.charAt(linePos);
      }
   }