Done adapting jerklib to gwt