private String readName(){
  final byte[] stream_=this.stream;
  int start=loc;
  while (loc < stream_.length && PDFFile.isRegularCharacter(stream_[loc])) {
    loc++;
  }
  return new String(stream_,start,loc - start);
}

private String readName ( ) { final byte [ ] stream_ = this . stream ; int start = loc ; while ( loc < stream_ . length && PDFFile . isRegularCharacter ( stream_ [ loc ] ) ) { loc ++ ; } return new String ( stream_ , start , loc - start ) ; }
read a name ( sequence of non - pdf - delimiting characters ) from the stream .
