Lines Matching defs:filename
1239 * @param filename The name of the file containing the serialized object.
1246 private Object loadSerializedObject(URL codebase, String filename)
1248 if (filename != null) {
1249 filename = filename.replace(File.separatorChar,'/');
1253 "loadSerializedObject", codebase.toString() + filename);
1255 InputStream is = getResourceAsStream(filename);
1266 "Exception while deserializing " + filename, e);
1273 "Exception while deserializing " + filename, e);
1280 "loadSerializedObject", "Error: File " + filename +
1283 throw new Error("File " + filename + " containing serialized object not found");