return result;

  }

  public static void loadFileAsChars(

    File file, String encoding, char[] buf)

    throws IOException

  {

    loadFileAsChars(

      file,encoding,buf,0,buf.length);

  }

  public static void loadFileAsChars(

    File file, String encoding,

    char[] buf, int off, int len)

    throws IOException

  {

    InputStreamReader f= encoding==null?

      new FileReader(file):

      new InputStreamReader(

        new FileInputStream(file),encoding);

    try {

      f.read(buf,off,len);

    } finally {

      try {f.close();} catch (Exception e) {};

    }

  }

Те из приведенных функций, которые читают файл полностью, в конце концов сводятся к вызову описанной выше функции loadFileAsString. Последние две функции, заполняющие переданный им массив символов – целиком или заданный фрагмент, реализованы более просто. В этом случае заранее известно требуемое число символов, и нет необходимости использовать постепенно увеличивающийся StringBuffer.