Volantis volantis) {
this.password = password;
this.host = host;
this.port = port;
this.volantis = volantis;
jdkProperties = new JDKProperties();
setName("MarinerAgent");
if (jdkProperties.getJavaSpecificationVersion().startsWith("1.3")) {
if (!jdkProperties.isIBM1_3JDKBuild20041210orLater()) {