public String readString(int len) throws IOException { if (len < 1) return null; byte[] buf = new byte[len]; readFully(buf); return new String(buf, "US-ASCII"); }
public String readString(int len) throws IOException { if (len < 1) return null; byte[] buf = new byte[len]; read(buf); return new String(buf, "US-ASCII"); }
   public String readString(int len) throws IOException {      if (len < 1)         return null;      byte[] buf = new byte[len];      readFully(buf);      return new String(buf, "US-ASCII");   }