public <T extends KnowledgeBaseOption> void setOption(T option) { if ( option instanceof MaintainTMSOption ) { setMaintainTms( ((MaintainTMSOption) option).isMaintainTMS() ); } else if ( option instanceof SequentialOption ) { setSequential( ((SequentialOption) option).isSequential() );