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)));
}
}