JavaLobby: When Will Java Web Start be Production Quality?