public void init(String[] args) throws SshToolsApplicationException {
super.init(args);
/* Currently the only options in this tab rely on 1.4 (mouse wheel support) */
try {
addAdditionalOptionsTab(new SshTermOptionsTab());
} catch (Throwable t) {
}
}
public void exit() {
super.exit(true);
}