// Adds the campus' location.
if (MapFieldDemoTokenizer.getString(
lineReader.readLine()).equals(
"Default Campus Location:")) {
_campusCoordinates.addElement(MapFieldDemoTokenizer
.getCoordinates(lineReader.readLine()));
}
}
}
} catch (final EOFException eof) {
// We've reached the end of the file.