protected static void close_files() throws java.io.IOException {
  if (input_file != null)   input_file.close();
  if (parser_class_file != null)   parser_class_file.close();
  if (symbol_class_file != null)   symbol_class_file.close();
}

protected static void close_files ( ) throws java . io . IOException { if ( input_file != null ) input_file . close ( ) ; if ( parser_class_file != null ) parser_class_file . close ( ) ; if ( symbol_class_file != null ) symbol_class_file . close ( ) ; }
close various files used by the system .
