import java.util.*;
import java.io.*;
+// FEATURE: Update for new api
+
/** A JS interface to a Java '.properties' file; very crude */
public class PropertyFile extends JS {
- private final Properties p = new Properties();
+ /*private final Properties p = new Properties();
private final Hash cache = new Hash(10, 3);
private File f;
Object ret = p.get(toString(key));
if (ret != null) return ret;
return new Minion(escape(toString(key)));
- }
+ }*/
}