/** Opens a writable random access file */ public RandomDataOutput writeFileRandom(String filename) throws IOException { return new LocalRandomAccessFile(normalise(filename), "rw"); }
/** Opens an input random access file */ public RandomDataInput openFileRandom(String filename) throws IOException { return new LocalRandomAccessFile(normalise(filename), "r"); }
/** Opens a writable random access file */ public RandomDataOutput writeFileRandom(String filename) throws IOException { return new LocalRandomAccessFile(normalise(filename), "rw"); }
/** Opens an input random access file */ public RandomDataInput openFileRandom(String filename) throws IOException { return new LocalRandomAccessFile(normalise(filename), "r"); }