Java GUI skeleton
DataService.get_keys()
java/gui: moved ExplorerPlace to right package