protected MapView(Map map) {
protected MapView(Map map, MapEditor editor) {  if (MapView.propertyFlagImage == null) { try { MapView.propertyFlagImage = Resources.getImage("propertyflag-12.png"); } catch (Exception e) { } }
    protected MapView(Map map) {        this.map = map;        setOpaque(true);    }