module.setVerbosity(verbose ? Module.MAXIMUM_VERBOSITY : Module.MINIMUM_VERBOSITY); module.applyDefaultParams(); if (module.isRandomAccess()) {
if (module != null) { module.applyDefaultParams(); module.show(handler); } else if (aboutHandler != null) {