42         File file = new File(fileName);  in readFile()  local
43         return readFile(file);  in readFile()
53     public static byte[] readFile(File file) {  in readFile()  argument
54         if (!file.exists()) {  in readFile()
55             throw new RuntimeException(file + ": file not found");  in readFile()
58         if (!file.isFile()) {  in readFile()
59             throw new RuntimeException(file + ": not a file");  in readFile()
62         if (!file.canRead()) {  in readFile()
63             throw new RuntimeException(file + ": file not readable");  in readFile()
66         long longLength = file.length();  in readFile()
69             throw new RuntimeException(file + ": file too long");  in readFile()
75             FileInputStream in = new FileInputStream(file);  in readFile()
80                     throw new RuntimeException(file + ": unexpected EOF");  in readFile()
87             throw new RuntimeException(file + ": trouble reading", ex);  in readFile()