public int getNumLines() { return fountain.getNumLines(); }
public Stream getStreamWithCRLF() { return new Stream(raw+"\r\n"); }
public JS get(JS s) throws JSExn { return JSU.S(get(JSU.toString(s).toLowerCase())); }
- public java.util.Enumeration names() { return head.keys(); }
+ public java.util.Enumeration names() { return head.enumerateKeys(); }
public String get(String s) { return (String)head.get(s.toLowerCase()); }
public Original(Stream stream) throws Malformed { this(stream, false); }