if (Debug.debugging("csv")) {
Debug.output("CSVFile.read: " + rec_line);
}
token = csvt.token();
}
} catch (java.io.IOException ioe) {
throw new com.bbn.openmap.util.HandleError(ioe);
} catch (ArrayIndexOutOfBoundsException aioobe) {
throw new com.bbn.openmap.util.HandleError(aioobe);