38         File file = new File(fileName);  in readFile()  local
39         return readFile(file);  in readFile()
49     public static byte[] readFile(File file) {  in readFile()  argument
50         if (!file.exists()) {  in readFile()
51             throw new RuntimeException(file + ": file not found");  in readFile()
54         if (!file.isFile()) {  in readFile()
55             throw new RuntimeException(file + ": not a file");  in readFile()
58         if (!file.canRead()) {  in readFile()
59             throw new RuntimeException(file + ": file not readable");  in readFile()
62         long longLength = file.length();  in readFile()
65             throw new RuntimeException(file + ": file too long");  in readFile()
71             FileInputStream in = new FileInputStream(file);  in readFile()
76                     throw new RuntimeException(file + ": unexpected EOF");  in readFile()
83             throw new RuntimeException(file + ": trouble reading", ex);  in readFile()