// FEATURE: Update for new api
/** A JS interface to a Java '.properties' file; very crude */
-public class PropertyFile extends JS {
+public class PropertyFile extends JS.Immutable {
/*private final Properties p = new Properties();
private final Hash cache = new Hash(10, 3);