public class Toolbox
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected static int |
allowRMI |
protected static java.rmi.registry.Registry |
registry |
protected static java.util.Map |
tools |
Modifier | Constructor and Description |
---|---|
protected |
Toolbox() |