continue; if (mod.isRandomAccess ()) { RandomAccessFile raf = new RandomAccessFile (file, "r");
: Module.MINIMUM_VERBOSITY); module.applyDefaultParams(); if (module.isRandomAccess()) {
continue; if (mod.isRandomAccess ()) { RandomAccessFile raf = new RandomAccessFile (file, "r");
: Module.MINIMUM_VERBOSITY); module.applyDefaultParams(); if (module.isRandomAccess()) {