174175176177178179180181
public RandomAccessFile getRandomAccessFile(String digest) { try { return new RandomAccessFile(getFile(digest), "r"); } catch (FileNotFoundException e) { throw new DigestNotFoundException(digest); } }