Export a java API converted with GWT