thrift: KeyQuery insteadof KeySet
java: use KeyQuery in lieu of KeySet
java/gui: use right EventBus, regenerate JsonRpcServlets
server: fix up classpath