code: private String rdIdentifier()
  	{
  		StringBuilder id = new StringBuilder();
  		id.append(ch);
  
  		while (restOfName(rdCh()))
  		{
  			id.append(ch);
  		}
  
  		return id.toString();
  	}
docs: Read a simple identifier without a module name prefix.
  
  @return a simple name.