docs: public static String readFileBufferedAsString(final String filename) throws IOException {
  		FileReader in = null;
  		try {
  			StringBuilder result = new StringBuilder();
  			char[] buffer = new char[2048];
  			in = new FileReader(filename);
  			int len = 0;
  			do {
  				len = in.read(buffer);
  				if (len > 0)
  					result.append(buffer, 0, len);
  			} while (len > 0);
  			return result.toString();
  		} finally {
  			closeIgnoringException(in);
  		}
  	}