272829303132333435
super(browser, name, mapSupport); } @Override public Object function (Object[] arguments) { MapType newMapType = MapType.fromStringID((String) arguments[0]); getMapSupport().setMapType(newMapType); return null; }