defaultPlatform = true;
} else {
p = new J2SEPlatformImpl(handler.name,handler.installFolders, handler.properties, handler.sysProperties,handler.sources, handler.javadoc);
defaultPlatform = false;
}
p.addPropertyChangeListener(this);
return p;
}
public String instanceName() {
return holder.getName();