docs: public static String readAsString( String path ) {
  		InputStream stream = openStream(path);
  		if( stream == null ) {
  			System.err.println("Failed to open "+path);
  			return null;
  		}
  		return readAsString(stream);
  	}