More work on GDX GWT conversion for javalib