/** Reads a map from the specified file and stores it in {@link #map}. */
public void readMap(File file) {
MapReader mapReader = new Bz2OsmReader();
MapBuilder mapBuilder = new DefaultMapBuilder();
mapReader.readMap(file, mapBuilder);
map = new MapAdapter(mapBuilder.buildMap());
}
/**
* Reads the default map showing the city of Ulm if no map
* has been loaded yet and calls the super class implementation.