public class JavaProperties extends Object implements PlugIn
JavaProperties()
void
run(String arg)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public JavaProperties()
public void run(String arg)
PlugIn
run