197198199200201202203204205206207
/** * Constructor of the JUMPInstaller. */ public JUMPInstaller() { state = getInstallState(); verifier = new VerifierImpl(state); /* Aliases for more compact record. */ info = state.installInfo; settings = state.suiteSettings; }