initListByMapType("Moon: ", MapType.getMoonMapTypes());
initListByMapType("Mars: ", MapType.getMarsMapTypes());
initListByMapType("Sky: ", MapType.getSkyMapTypes());
initListByMapType("Mapmaker: ", MapType.getMapmakerMapTypes());
lb.addChangeHandler(new ChangeHandler() {
public void onChange(ChangeEvent event) {
String selection = lb.getItemText(lb.getSelectedIndex());
MapType mt = mapTypes.get(selection);
if (mt != null) {
map.setCurrentMapType(mt);