Tools to aid Java development, mainly for GWT