public void readFromFile(File file) throws IOException, FileFormatException {
BufferedInputStream stream = null;
try {
stream = new BufferedInputStream(new FileInputStream(file), 0x4000);
readFromStream(stream, new DownloadJob(null, file.toString(), null));
}
finally {
if (stream != null) {
try { stream.close(); } catch (IOException exc) {}
}