}
}
- public static String escape(String s) { return s.replaceAll("\\", "\\\\").replaceAll(".", "\\.").replaceAll("=","\\="); }
+ public static String escape(String s) {
+ return s.replaceAll("\\\\", "\\\\\\\\").replaceAll(".", "\\\\.").replaceAll("=","\\\\="); }
public PropertyFile(File f) throws IOException { this.f = f; this.p.load(new FileInputStream(f)); }
public void put(Object key, Object val) throws JSExn { new Minion("").put(key, val); }
public Enumeration keys() throws JSExn { return new Minion("").keys(); }