minor bug fixes from moving interfaces
[org.ibex.js.git] / src / org / ibex / js / PropertyFile.java
index beede7f..a8b68f7 100644 (file)
@@ -11,7 +11,7 @@ import java.io.*;
 // 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);