public virtual int getDefaultPort() { global::net.sf.jni4net.jni.JNIEnv @__env = this.Env; using(new global::net.sf.jni4net.jni.LocalFrame(@__env, 10)){ return ((int)(@__env.CallIntMethod(this, global::java.net.URL.j4n_getDefaultPort13))); } }