extensions.java.net.URL (Manifold :: Json 0.2-alpha API)