return new StringReader(help.get(s));
if(help == null) help = new Help(); String str = help.get(s); if(str == null) return null; return new StringReader(str);
  public Reader getResource(String s) {    if (s.endsWith(".html"))      s = s.substring(0, s.length() - 5) + ".txt";    return new StringReader(help.get(s));  }