|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
org.votech.* |
org.votech.plastic.PlasticHubListener | ||
public static final String |
PLASTIC_CONFIG_FILENAME |
".plastic" |
public static final String |
PLASTIC_RMI_PORT_KEY |
"plastic.rmi.port" |
public static final String |
PLASTIC_VERSION_KEY |
"plastic.version" |
public static final String |
PLASTIC_XMLRPC_URL_KEY |
"plastic.xmlrpc.url" |
org.votech.plastic.PlasticListener | ||
public static final String |
CURRENT_VERSION |
"0.4" |
uk.ac.* |
uk.ac.starlink.plastic.PlasticUtils | ||
public static final String |
PLASTIC_FILE |
".plastic" |
public static final String |
PLASTIC_VERSION |
"0.4" |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |