// FrontEnd Plus GUI for JAD
// DeCompiled : PropertyManager.class
package tools;
import java.io.*;
import java.util.*;
public class PropertyManager {
private static PropertyManager manager = null;
private static Object managerLock = new Object();
private static String propsName = "/elearning.properties";
private Properties properties;
private Object propertiesLock;
private String resourceURI;
public PropertyManager() {
properties = null;
propertiesLock = new Object();
}
public static String getProperty(String s) {
if (manager == null)
synchronized (managerLock) {
if (manager == null)
manager = new PropertyManager(propsName);
}
return manager.getProp(s);
}
public static void setProperty(String s, String s1) {
if (manager == null)
synchronized (managerLock) {
if (manager == null)
manager = new PropertyManager(propsName);
}
manager.setProp(s, s1);
}
public static void deleteProperty(String s) {
if (manager == null)
synchronized (managerLock) {
if (manager == null)
manager = new PropertyManager(propsName);
}
manager.deleteProp(s);
}
public static Enumeration propertyNames() {
if (manager == null)
synchronized (managerLock) {
if (manager == null)
manager = new PropertyManager(propsName);
}
return manager.propNames();
}
public s