docs: public static byte[] readFile(File file) throws IOException {
          // Open file
          RandomAccessFile f = new RandomAccessFile(file, "r");
          try {
              // Get and check length
              long longlength = f.length();
              int length = (int) longlength;
              if (length != longlength) {
                  throw new IOException("File size >= 2 GB");
              }
              // Read file and return data
              byte[] data = new byte[length];
              f.readFully(data);
              return data;
          } finally {
              // Close file
              f.close();
          }
      }