lib/java: cleaning up Url.java
lib/java: GWT compatibility fixes