public String coerceToString() { return (String)p.get(prefix.substring(0, prefix.length() - 1)); }
public Enumeration keys() throws JSExn { throw new JSExn("PropertyFile.keys() not supported"); }
public Object get(Object key) throws JSExn {
+ if (toString(key).equals("")) return coerceToString();
Object ret = p.get(prefix + escape(toString(key)));
if (ret != null) return ret;
return new Minion(prefix + escape(toString(key)) + ".");