String readLine()
  {
    try {
      String line = reader.readLine();
      if (line != null) {
        line = line.trim();
        if (line.startsWith("#") || line.isEmpty())
          line = readLine();
      }
      return line;
    } catch (IOException ioe) {
      ioe.printStackTrace();
      return null;
    }
  }