/** @return the dimensions of the map */ public Position getMapSize() { return map.getDimensions(); }