public String readString() throws IOException {
  return new String(readStringBytes());
}

public String readString ( ) throws IOException { return new String ( readStringBytes ( ) ) ; }
read a null terminated string using the default character encoding
