Program: 85187
Project: 85187
Buggy source:
private boolean createNewConfig(){
  setConfig(new HashMap());
  boolean boolRes=false;
  String stringRes="String_Node_Str";
  boolean defBoolRes=false;
  String defStringRes="String_Node_Str";
  StringTokenizer listOptTokens;
  String nextListToken;
  boolRes=getGeneral_Optionscoffi_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionscoffi_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionsjasmin_backend_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionsjasmin_backend_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionshelp_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionshelp_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionsphase_list_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionsphase_list_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionsversion_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionsversion_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionsverbose_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionsverbose_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionsinteractive_mode_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionsinteractive_mode_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionsunfriendly_mode_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionsunfriendly_mode_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionsapp_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionsapp_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionswhole_program_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionswhole_program_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionswhole_shimple_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionswhole_shimple_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionson_the_fly_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionson_the_fly_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionsvalidate_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionsvalidate_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionsdebug_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionsdebug_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionsdebug_resolver_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionsdebug_resolver_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionsignore_resolving_levels_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionsignore_resolving_levels_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getGeneral_Optionsphase_help_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getGeneral_Optionsphase_help_widget().getAlias(),stringRes);
  }
  boolRes=getInput_Optionsprepend_classpath_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionsprepend_classpath_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Optionsignore_classpath_errors_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionsignore_classpath_errors_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Optionsprocess_multiple_dex_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionsprocess_multiple_dex_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Optionssearch_dex_in_archives_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionssearch_dex_in_archives_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Optionsoaat_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionsoaat_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Optionsast_metrics_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionsast_metrics_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Optionsfull_resolver_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionsfull_resolver_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Optionsallow_phantom_refs_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionsallow_phantom_refs_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Optionsno_bodies_for_excluded_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionsno_bodies_for_excluded_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Optionsj2me_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionsj2me_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Optionspolyglot_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionspolyglot_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Optionspermissive_resolving_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionspermissive_resolving_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Optionsdrop_bodies_after_load_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionsdrop_bodies_after_load_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getInput_Optionssoot_classpath_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getInput_Optionssoot_classpath_widget().getAlias(),stringRes);
  }
  stringRes=getInput_Optionsprocess_dir_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getInput_Optionsprocess_dir_widget().getAlias(),stringRes);
  }
  stringRes=getInput_Optionsandroid_jars_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getInput_Optionsandroid_jars_widget().getAlias(),stringRes);
  }
  stringRes=getInput_Optionsforce_android_jar_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getInput_Optionsforce_android_jar_widget().getAlias(),stringRes);
  }
  stringRes=getInput_Optionsandroid_api_version_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getInput_Optionsandroid_api_version_widget().getAlias(),stringRes);
  }
  stringRes=getInput_Optionsmain_class_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getInput_Optionsmain_class_widget().getAlias(),stringRes);
  }
  stringRes=getInput_Optionssrc_prec_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getInput_Optionssrc_prec_widget().getAlias(),stringRes);
  }
  boolRes=getOutput_Optionsoutput_jar_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getOutput_Optionsoutput_jar_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getOutput_Optionsxml_attributes_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getOutput_Optionsxml_attributes_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getOutput_Optionsprint_tags_in_output_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getOutput_Optionsprint_tags_in_output_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getOutput_Optionsno_output_source_file_attribute_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getOutput_Optionsno_output_source_file_attribute_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getOutput_Optionsno_output_inner_classes_attribute_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getOutput_Optionsno_output_inner_classes_attribute_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getOutput_Optionsshow_exception_dests_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getOutput_Optionsshow_exception_dests_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getOutput_Optionsgzip_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getOutput_Optionsgzip_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getOutput_Optionsforce_overwrite_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getOutput_Optionsforce_overwrite_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getOutput_Optionsoutput_dir_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getOutput_Optionsoutput_dir_widget().getAlias(),stringRes);
  }
  stringRes=getOutput_Optionsdump_body_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getOutput_Optionsdump_body_widget().getAlias(),stringRes);
  }
  stringRes=getOutput_Optionsdump_cfg_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getOutput_Optionsdump_cfg_widget().getAlias(),stringRes);
  }
  stringRes=getOutput_Optionsoutput_format_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getOutput_Optionsoutput_format_widget().getAlias(),stringRes);
  }
  stringRes=getOutput_Optionsjava_version_widget().getSelectedAlias();
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getOutput_Optionsjava_version_widget().getAlias(),stringRes);
  }
  boolRes=getProcessing_Optionsoptimize_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getProcessing_Optionsoptimize_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getProcessing_Optionswhole_optimize_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getProcessing_Optionswhole_optimize_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getProcessing_Optionsvia_grimp_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getProcessing_Optionsvia_grimp_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getProcessing_Optionsvia_shimple_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getProcessing_Optionsvia_shimple_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getProcessing_Optionsomit_excepting_unit_edges_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getProcessing_Optionsomit_excepting_unit_edges_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getProcessing_Optionstrim_cfgs_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getProcessing_Optionstrim_cfgs_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getProcessing_Optionsignore_resolution_errors_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getProcessing_Optionsignore_resolution_errors_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getProcessing_Optionsplugin_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getProcessing_Optionsplugin_widget().getAlias(),stringRes);
  }
  stringRes=getProcessing_Optionswrong_staticness_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getProcessing_Optionswrong_staticness_widget().getAlias(),stringRes);
  }
  stringRes=getProcessing_Optionsfield_type_mismatches_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getProcessing_Optionsfield_type_mismatches_widget().getAlias(),stringRes);
  }
  stringRes=getProcessing_Optionsthrow_analysis_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getProcessing_Optionsthrow_analysis_widget().getAlias(),stringRes);
  }
  stringRes=getProcessing_Optionscheck_init_throw_analysis_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getProcessing_Optionscheck_init_throw_analysis_widget().getAlias(),stringRes);
  }
  boolRes=getjbenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbuse_original_names_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbuse_original_names_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbpreserve_source_annotations_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbpreserve_source_annotations_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbstabilize_local_names_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbstabilize_local_names_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_dtrenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_dtrenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_eseenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_eseenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_lsenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_lsenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_aenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_aenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_aonly_stack_locals_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_aonly_stack_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_uleenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_uleenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_trenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_trenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_truse_older_type_assigner_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_truse_older_type_assigner_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_trcompare_type_assigners_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_trcompare_type_assigners_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_trignore_nullpointer_dereferences_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_trignore_nullpointer_dereferences_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_ulpenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_ulpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_ulpunsplit_original_locals_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_ulpunsplit_original_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_lnsenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_lnsenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_lnsonly_stack_locals_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_lnsonly_stack_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_lnssort_locals_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_lnssort_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_cpenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_cpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_cponly_regular_locals_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_cponly_regular_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_cponly_stack_locals_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_cponly_stack_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_daeenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_daeenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_daeonly_stack_locals_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_daeonly_stack_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_cp_uleenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_cp_uleenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_lpenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_lpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_lpunsplit_original_locals_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_lpunsplit_original_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_neenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_neenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_uceenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_uceenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_uceremove_unreachable_traps_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_uceremove_unreachable_traps_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_ttenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_ttenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjuse_original_names_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjuse_original_names_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_lsenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_lsenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_aenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_aenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_aonly_stack_locals_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_aonly_stack_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_uleenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_uleenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_trenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_trenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_ulpenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_ulpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_ulpunsplit_original_locals_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_ulpunsplit_original_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_lnsenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_lnsenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_lnsonly_stack_locals_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_lnsonly_stack_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_cpenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_cpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_cponly_regular_locals_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_cponly_regular_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_cponly_stack_locals_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_cponly_stack_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_daeenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_daeenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_daeonly_stack_locals_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_daeonly_stack_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_cp_uleenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_cp_uleenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_lpenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_lpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_lpunsplit_original_locals_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_lpunsplit_original_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_neenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_neenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_uceenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_uceenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjppenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjppenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjppwjpp_cimbtenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjppwjpp_cimbtenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjppwjpp_cimbtverbose_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjppwjpp_cimbtverbose_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwsppenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwsppenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgsafe_forname_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgsafe_forname_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgsafe_newinstance_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgsafe_newinstance_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgverbose_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgverbose_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgall_reachable_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgall_reachable_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgimplicit_entry_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgimplicit_entry_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgtrim_clinit_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgtrim_clinit_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgtypes_for_invoke_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgtypes_for_invoke_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getcgjdkver_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgjdkver_widget().getAlias(),stringRes);
  }
  stringRes=getcgreflection_log_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgreflection_log_widget().getAlias(),stringRes);
  }
  stringRes=getcgguards_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgguards_widget().getAlias(),stringRes);
  }
  stringRes=getcglibrary_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcglibrary_widget().getAlias(),stringRes);
  }
  boolRes=getcgcg_chaenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_chaenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_chaverbose_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_chaverbose_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_chaapponly_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_chaapponly_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkverbose_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkverbose_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkignore_types_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkignore_types_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkforce_gc_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkforce_gc_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkpre_jimplify_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkpre_jimplify_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkapponly_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkapponly_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkvta_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkvta_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkrta_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkrta_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkfield_based_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkfield_based_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparktypes_for_sites_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparktypes_for_sites_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkmerge_stringbuffer_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkmerge_stringbuffer_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkstring_constants_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkstring_constants_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparksimulate_natives_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparksimulate_natives_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkempties_as_allocs_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkempties_as_allocs_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparksimple_edges_bidirectional_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparksimple_edges_bidirectional_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkon_fly_cg_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkon_fly_cg_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparksimplify_offline_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparksimplify_offline_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparksimplify_sccs_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparksimplify_sccs_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkignore_types_for_sccs_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkignore_types_for_sccs_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getcgcg_sparkpropagator_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_sparkpropagator_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_sparkset_impl_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_sparkset_impl_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_sparkdouble_set_old_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_sparkdouble_set_old_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_sparkdouble_set_new_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_sparkdouble_set_new_widget().getAlias(),stringRes);
  }
  boolRes=getcgcg_sparkdump_html_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkdump_html_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkdump_pag_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkdump_pag_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkdump_solution_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkdump_solution_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparktopo_sort_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparktopo_sort_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkdump_types_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkdump_types_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkclass_method_var_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkclass_method_var_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkdump_answer_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkdump_answer_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkadd_tags_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkadd_tags_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkset_mass_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkset_mass_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkcs_demand_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkcs_demand_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparklazy_pts_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparklazy_pts_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getcgcg_sparktraversal_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgcg_sparktraversal_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_sparkpasses_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgcg_sparkpasses_widget().getAlias(),stringRes);
  }
  boolRes=getcgcg_sparkgeom_pta_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkgeom_pta_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkgeom_trans_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkgeom_trans_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkgeom_blocking_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkgeom_blocking_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkgeom_app_only_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkgeom_app_only_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getcgcg_sparkgeom_dump_verbose_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgcg_sparkgeom_dump_verbose_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_sparkgeom_verify_name_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgcg_sparkgeom_verify_name_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_sparkgeom_eval_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgcg_sparkgeom_eval_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_sparkgeom_frac_base_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgcg_sparkgeom_frac_base_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_sparkgeom_runs_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgcg_sparkgeom_runs_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_sparkgeom_encoding_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_sparkgeom_encoding_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_sparkgeom_worklist_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_sparkgeom_worklist_widget().getAlias(),stringRes);
  }
  boolRes=getcgcg_paddleenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddleenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddleverbose_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddleverbose_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddlebdd_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlebdd_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddledynamic_order_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddledynamic_order_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddleprofile_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddleprofile_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddleverbosegc_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddleverbosegc_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddleignore_types_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddleignore_types_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddlepre_jimplify_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlepre_jimplify_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getcgcg_paddleorder_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgcg_paddleorder_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_paddlebdd_nodes_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgcg_paddlebdd_nodes_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_paddleconf_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_paddleconf_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_paddleq_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_paddleq_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_paddlebackend_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_paddlebackend_widget().getAlias(),stringRes);
  }
  boolRes=getcgcg_paddlecontext_heap_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlecontext_heap_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getcgcg_paddlek_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgcg_paddlek_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_paddlecontext_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_paddlecontext_widget().getAlias(),stringRes);
  }
  boolRes=getcgcg_paddlerta_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlerta_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddlefield_based_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlefield_based_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddletypes_for_sites_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddletypes_for_sites_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddlemerge_stringbuffer_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlemerge_stringbuffer_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddlestring_constants_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlestring_constants_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddlesimulate_natives_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlesimulate_natives_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddleglobal_nodes_in_natives_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddleglobal_nodes_in_natives_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddlesimple_edges_bidirectional_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlesimple_edges_bidirectional_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddlethis_edges_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlethis_edges_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddleprecise_newinstance_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddleprecise_newinstance_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getcgcg_paddlepropagator_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_paddlepropagator_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_paddleset_impl_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_paddleset_impl_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_paddledouble_set_old_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_paddledouble_set_old_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_paddledouble_set_new_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_paddledouble_set_new_widget().getAlias(),stringRes);
  }
  boolRes=getcgcg_paddlecontext_counts_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlecontext_counts_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddletotal_context_counts_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddletotal_context_counts_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddlemethod_context_counts_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlemethod_context_counts_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddleset_mass_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddleset_mass_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddlenumber_nodes_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlenumber_nodes_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwstpenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwstpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwsopenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwsopenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjtpenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjtpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjtpwjtp_mhpenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjtpwjtp_mhpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjtpwjtp_tnenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjtpwjtp_tnenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjtpwjtp_tnavoid_deadlock_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjtpwjtp_tnavoid_deadlock_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjtpwjtp_tnopen_nesting_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjtpwjtp_tnopen_nesting_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjtpwjtp_tndo_mhp_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjtpwjtp_tndo_mhp_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjtpwjtp_tndo_tlo_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjtpwjtp_tndo_tlo_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjtpwjtp_tnprint_graph_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjtpwjtp_tnprint_graph_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjtpwjtp_tnprint_table_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjtpwjtp_tnprint_table_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjtpwjtp_tnprint_debug_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjtpwjtp_tnprint_debug_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getwjtpwjtp_tnlocking_scheme_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getwjtpwjtp_tnlocking_scheme_widget().getAlias(),stringRes);
  }
  boolRes=getwjtpwjtp_rdcenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjtpwjtp_rdcenabled_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getwjtpwjtp_rdcfixed_class_names_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getwjtpwjtp_rdcfixed_class_names_widget().getAlias(),stringRes);
  }
  boolRes=getwjopenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjopenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjopwjop_smbenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjopwjop_smbenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjopwjop_smbinsert_null_checks_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjopwjop_smbinsert_null_checks_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjopwjop_smbinsert_redundant_casts_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjopwjop_smbinsert_redundant_casts_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getwjopwjop_smballowed_modifier_changes_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getwjopwjop_smballowed_modifier_changes_widget().getAlias(),stringRes);
  }
  boolRes=getwjopwjop_sienabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjopwjop_sienabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjopwjop_sirerun_jb_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjopwjop_sirerun_jb_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjopwjop_siinsert_null_checks_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjopwjop_siinsert_null_checks_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjopwjop_siinsert_redundant_casts_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjopwjop_siinsert_redundant_casts_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getwjopwjop_siexpansion_factor_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getwjopwjop_siexpansion_factor_widget().getAlias(),stringRes);
  }
  stringRes=getwjopwjop_simax_container_size_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getwjopwjop_simax_container_size_widget().getAlias(),stringRes);
  }
  stringRes=getwjopwjop_simax_inlinee_size_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getwjopwjop_simax_inlinee_size_widget().getAlias(),stringRes);
  }
  stringRes=getwjopwjop_siallowed_modifier_changes_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getwjopwjop_siallowed_modifier_changes_widget().getAlias(),stringRes);
  }
  boolRes=getwjapenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_raenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_raenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_umtenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_umtenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_uftenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_uftenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_tqtenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_tqtenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_cggenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_cggenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_cggshow_lib_meths_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_cggshow_lib_meths_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_purityenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_purityenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_puritydump_summaries_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_puritydump_summaries_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_puritydump_cg_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_puritydump_cg_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_puritydump_intra_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_puritydump_intra_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_purityprint_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_purityprint_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_purityannotate_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_purityannotate_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_purityverbose_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_purityverbose_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getshimpleenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getshimpleenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getshimplenode_elim_opt_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getshimplenode_elim_opt_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getshimplestandard_local_names_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getshimplestandard_local_names_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getshimpleextended_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getshimpleextended_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getshimpledebug_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getshimpledebug_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getstpenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getstpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getsopenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getsopenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getsopsop_cpfenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getsopsop_cpfenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getsopsop_cpfprune_cfg_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getsopsop_cpfprune_cfg_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjtpenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjtpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_cseenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_cseenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_csenaive_side_effect_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_csenaive_side_effect_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_bcmenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_bcmenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_bcmnaive_side_effect_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_bcmnaive_side_effect_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_lcmenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_lcmenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_lcmunroll_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_lcmunroll_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_lcmnaive_side_effect_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_lcmnaive_side_effect_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getjopjop_lcmsafety_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getjopjop_lcmsafety_widget().getAlias(),stringRes);
  }
  boolRes=getjopjop_cpenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_cpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_cponly_regular_locals_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_cponly_regular_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_cponly_stack_locals_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_cponly_stack_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_cpfenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_cpfenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_cbfenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_cbfenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_daeenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_daeenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_daeonly_tag_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_daeonly_tag_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_daeonly_stack_locals_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_daeonly_stack_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_nceenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_nceenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_uce1enabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_uce1enabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_uce1remove_unreachable_traps_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_uce1remove_unreachable_traps_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_ubf1enabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_ubf1enabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_uce2enabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_uce2enabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_uce2remove_unreachable_traps_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_uce2remove_unreachable_traps_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_ubf2enabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_ubf2enabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_uleenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_uleenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_npcenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_npcenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_npconly_array_ref_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_npconly_array_ref_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_npcprofiling_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_npcprofiling_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_npcolorerenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_npcolorerenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_abcenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_abcenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_abcwith_all_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_abcwith_all_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_abcwith_cse_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_abcwith_cse_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_abcwith_arrayref_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_abcwith_arrayref_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_abcwith_fieldref_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_abcwith_fieldref_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_abcwith_classfield_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_abcwith_classfield_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_abcwith_rectarray_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_abcwith_rectarray_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_abcprofiling_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_abcprofiling_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_abcadd_color_tags_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_abcadd_color_tags_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_profilingenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_profilingenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_profilingnotmainentry_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_profilingnotmainentry_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_seaenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_seaenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_seanaive_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_seanaive_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_fieldrwenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_fieldrwenabled_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getjapjap_fieldrwthreshold_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getjapjap_fieldrwthreshold_widget().getAlias(),stringRes);
  }
  boolRes=getjapjap_cgtaggerenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_cgtaggerenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_parityenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_parityenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_patenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_patenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_lvtaggerenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_lvtaggerenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_rdtaggerenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_rdtaggerenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_cheenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_cheenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_umtenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_umtenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_litenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_litenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_aetenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_aetenabled_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getjapjap_aetkind_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getjapjap_aetkind_widget().getAlias(),stringRes);
  }
  boolRes=getjapjap_dmtenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_dmtenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getgbenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getgbenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getgbgb_a1enabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getgbgb_a1enabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getgbgb_a1only_stack_locals_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getgbgb_a1only_stack_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getgbgb_cfenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getgbgb_cfenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getgbgb_a2enabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getgbgb_a2enabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getgbgb_a2only_stack_locals_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getgbgb_a2only_stack_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getgbgb_uleenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getgbgb_uleenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getgopenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getgopenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbbb_lsoenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbbb_lsoenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbbb_lsodebug_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbbb_lsodebug_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbbb_lsointer_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbbb_lsointer_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbbb_lsosl_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbbb_lsosl_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbbb_lsosl2_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbbb_lsosl2_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbbb_lsosll_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbbb_lsosll_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbbb_lsosll2_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbbb_lsosll2_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbbb_scoenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbbb_scoenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbbb_phoenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbbb_phoenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbbb_uleenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbbb_uleenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbbb_lpenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbbb_lpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbbb_lpunsplit_original_locals_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbbb_lpunsplit_original_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbopenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getbopenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=gettagenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(gettagenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=gettagtag_lnenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(gettagtag_lnenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=gettagtag_anenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(gettagtag_anenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=gettagtag_depenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(gettagtag_depenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=gettagtag_fieldrwenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(gettagtag_fieldrwenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getdbenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getdbenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getdbsource_is_javac_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getdbsource_is_javac_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getdbdb_transformationsenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getdbdb_transformationsenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getdbdb_renamerenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getdbdb_renamerenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getdbdb_deobfuscateenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getdbdb_deobfuscateenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getdbdb_force_recompileenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getdbdb_force_recompileenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getApplication_Mode_Optionsinclude_all_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getApplication_Mode_Optionsinclude_all_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getApplication_Mode_Optionsinclude_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getApplication_Mode_Optionsinclude_widget().getAlias(),stringRes);
  }
  stringRes=getApplication_Mode_Optionsexclude_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getApplication_Mode_Optionsexclude_widget().getAlias(),stringRes);
  }
  stringRes=getApplication_Mode_Optionsdynamic_class_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getApplication_Mode_Optionsdynamic_class_widget().getAlias(),stringRes);
  }
  stringRes=getApplication_Mode_Optionsdynamic_dir_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getApplication_Mode_Optionsdynamic_dir_widget().getAlias(),stringRes);
  }
  stringRes=getApplication_Mode_Optionsdynamic_package_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getApplication_Mode_Optionsdynamic_package_widget().getAlias(),stringRes);
  }
  boolRes=getInput_Attribute_Optionskeep_line_number_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Attribute_Optionskeep_line_number_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Attribute_Optionskeep_offset_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Attribute_Optionskeep_offset_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getOutput_Attribute_Optionswrite_local_annotations_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getOutput_Attribute_Optionswrite_local_annotations_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getAnnotation_Optionsannot_purity_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getAnnotation_Optionsannot_purity_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getAnnotation_Optionsannot_nullpointer_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getAnnotation_Optionsannot_nullpointer_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getAnnotation_Optionsannot_arraybounds_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getAnnotation_Optionsannot_arraybounds_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getAnnotation_Optionsannot_side_effect_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getAnnotation_Optionsannot_side_effect_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getAnnotation_Optionsannot_fieldrw_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getAnnotation_Optionsannot_fieldrw_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getMiscellaneous_Optionstime_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getMiscellaneous_Optionstime_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getMiscellaneous_Optionssubtract_gc_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getMiscellaneous_Optionssubtract_gc_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getMiscellaneous_Optionsno_writeout_body_releasing_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getMiscellaneous_Optionsno_writeout_body_releasing_widget().getAlias(),new Boolean(boolRes));
  }
  setSootMainClass(getSootMainClassWidget().getText().getText());
  return setSootMainProject(getSootMainProjectWidget().getText().getText());
}

Fixed version (ground truth):
private boolean createNewConfig(){
  setConfig(new HashMap());
  boolean boolRes=false;
  String stringRes="String_Node_Str";
  boolean defBoolRes=false;
  String defStringRes="String_Node_Str";
  StringTokenizer listOptTokens;
  String nextListToken;
  boolRes=getGeneral_Optionscoffi_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionscoffi_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionsjasmin_backend_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionsjasmin_backend_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionshelp_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionshelp_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionsphase_list_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionsphase_list_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionsversion_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionsversion_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionsverbose_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionsverbose_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionsinteractive_mode_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionsinteractive_mode_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionsunfriendly_mode_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionsunfriendly_mode_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionsapp_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionsapp_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionswhole_program_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionswhole_program_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionswhole_shimple_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionswhole_shimple_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionson_the_fly_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionson_the_fly_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionsvalidate_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionsvalidate_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionsdebug_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionsdebug_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionsdebug_resolver_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionsdebug_resolver_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getGeneral_Optionsignore_resolving_levels_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getGeneral_Optionsignore_resolving_levels_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getGeneral_Optionsphase_help_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getGeneral_Optionsphase_help_widget().getAlias(),stringRes);
  }
  boolRes=getInput_Optionsprepend_classpath_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionsprepend_classpath_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Optionsignore_classpath_errors_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionsignore_classpath_errors_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Optionsprocess_multiple_dex_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionsprocess_multiple_dex_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Optionssearch_dex_in_archives_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionssearch_dex_in_archives_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Optionsoaat_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionsoaat_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Optionsast_metrics_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionsast_metrics_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Optionsfull_resolver_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionsfull_resolver_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Optionsallow_phantom_refs_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionsallow_phantom_refs_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Optionsno_bodies_for_excluded_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionsno_bodies_for_excluded_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Optionsj2me_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionsj2me_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Optionspolyglot_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionspolyglot_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Optionspermissive_resolving_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionspermissive_resolving_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Optionsdrop_bodies_after_load_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Optionsdrop_bodies_after_load_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getInput_Optionssoot_classpath_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getInput_Optionssoot_classpath_widget().getAlias(),stringRes);
  }
  stringRes=getInput_Optionsprocess_dir_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getInput_Optionsprocess_dir_widget().getAlias(),stringRes);
  }
  stringRes=getInput_Optionsandroid_jars_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getInput_Optionsandroid_jars_widget().getAlias(),stringRes);
  }
  stringRes=getInput_Optionsforce_android_jar_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getInput_Optionsforce_android_jar_widget().getAlias(),stringRes);
  }
  stringRes=getInput_Optionsandroid_api_version_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getInput_Optionsandroid_api_version_widget().getAlias(),stringRes);
  }
  stringRes=getInput_Optionsmain_class_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getInput_Optionsmain_class_widget().getAlias(),stringRes);
  }
  stringRes=getInput_Optionssrc_prec_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getInput_Optionssrc_prec_widget().getAlias(),stringRes);
  }
  boolRes=getOutput_Optionsoutput_jar_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getOutput_Optionsoutput_jar_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getOutput_Optionsxml_attributes_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getOutput_Optionsxml_attributes_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getOutput_Optionsprint_tags_in_output_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getOutput_Optionsprint_tags_in_output_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getOutput_Optionsno_output_source_file_attribute_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getOutput_Optionsno_output_source_file_attribute_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getOutput_Optionsno_output_inner_classes_attribute_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getOutput_Optionsno_output_inner_classes_attribute_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getOutput_Optionsshow_exception_dests_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getOutput_Optionsshow_exception_dests_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getOutput_Optionsgzip_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getOutput_Optionsgzip_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getOutput_Optionsforce_overwrite_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getOutput_Optionsforce_overwrite_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getOutput_Optionsoutput_dir_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getOutput_Optionsoutput_dir_widget().getAlias(),stringRes);
  }
  stringRes=getOutput_Optionsdump_body_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getOutput_Optionsdump_body_widget().getAlias(),stringRes);
  }
  stringRes=getOutput_Optionsdump_cfg_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getOutput_Optionsdump_cfg_widget().getAlias(),stringRes);
  }
  stringRes=getOutput_Optionsoutput_format_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getOutput_Optionsoutput_format_widget().getAlias(),stringRes);
  }
  stringRes=getOutput_Optionsjava_version_widget().getSelectedAlias();
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getOutput_Optionsjava_version_widget().getAlias(),stringRes);
  }
  boolRes=getProcessing_Optionsoptimize_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getProcessing_Optionsoptimize_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getProcessing_Optionswhole_optimize_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getProcessing_Optionswhole_optimize_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getProcessing_Optionsvia_grimp_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getProcessing_Optionsvia_grimp_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getProcessing_Optionsvia_shimple_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getProcessing_Optionsvia_shimple_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getProcessing_Optionsomit_excepting_unit_edges_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getProcessing_Optionsomit_excepting_unit_edges_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getProcessing_Optionstrim_cfgs_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getProcessing_Optionstrim_cfgs_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getProcessing_Optionsignore_resolution_errors_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getProcessing_Optionsignore_resolution_errors_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getProcessing_Optionsplugin_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getProcessing_Optionsplugin_widget().getAlias(),stringRes);
  }
  stringRes=getProcessing_Optionswrong_staticness_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getProcessing_Optionswrong_staticness_widget().getAlias(),stringRes);
  }
  stringRes=getProcessing_Optionsfield_type_mismatches_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getProcessing_Optionsfield_type_mismatches_widget().getAlias(),stringRes);
  }
  stringRes=getProcessing_Optionsthrow_analysis_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getProcessing_Optionsthrow_analysis_widget().getAlias(),stringRes);
  }
  stringRes=getProcessing_Optionscheck_init_throw_analysis_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getProcessing_Optionscheck_init_throw_analysis_widget().getAlias(),stringRes);
  }
  boolRes=getjbenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbuse_original_names_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbuse_original_names_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbpreserve_source_annotations_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbpreserve_source_annotations_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbstabilize_local_names_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbstabilize_local_names_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_dtrenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_dtrenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_eseenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_eseenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_lsenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_lsenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_aenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_aenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_aonly_stack_locals_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_aonly_stack_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_uleenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_uleenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_trenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_trenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_truse_older_type_assigner_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_truse_older_type_assigner_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_trcompare_type_assigners_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_trcompare_type_assigners_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_trignore_nullpointer_dereferences_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_trignore_nullpointer_dereferences_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_ulpenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_ulpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_ulpunsplit_original_locals_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_ulpunsplit_original_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_lnsenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_lnsenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_lnsonly_stack_locals_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_lnsonly_stack_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_lnssort_locals_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_lnssort_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_cpenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_cpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_cponly_regular_locals_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_cponly_regular_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_cponly_stack_locals_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_cponly_stack_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_daeenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_daeenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_daeonly_stack_locals_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_daeonly_stack_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_cp_uleenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_cp_uleenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_lpenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_lpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_lpunsplit_original_locals_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_lpunsplit_original_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_neenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_neenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_uceenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_uceenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_uceremove_unreachable_traps_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_uceremove_unreachable_traps_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjbjb_ttenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjbjb_ttenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjuse_original_names_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjuse_original_names_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_lsenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_lsenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_aenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_aenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_aonly_stack_locals_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_aonly_stack_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_uleenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_uleenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_trenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_trenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_ulpenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_ulpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_ulpunsplit_original_locals_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_ulpunsplit_original_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_lnsenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_lnsenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_lnsonly_stack_locals_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_lnsonly_stack_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_cpenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_cpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_cponly_regular_locals_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_cponly_regular_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_cponly_stack_locals_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_cponly_stack_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_daeenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_daeenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_daeonly_stack_locals_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_daeonly_stack_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_cp_uleenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_cp_uleenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_lpenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_lpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_lpunsplit_original_locals_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_lpunsplit_original_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_neenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_neenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjjjj_uceenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjjjj_uceenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjppenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjppenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjppwjpp_cimbtenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjppwjpp_cimbtenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjppwjpp_cimbtverbose_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjppwjpp_cimbtverbose_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwsppenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwsppenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgsafe_forname_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgsafe_forname_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgsafe_newinstance_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgsafe_newinstance_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgverbose_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgverbose_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgall_reachable_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgall_reachable_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgimplicit_entry_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgimplicit_entry_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgtrim_clinit_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgtrim_clinit_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgtypes_for_invoke_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgtypes_for_invoke_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getcgjdkver_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgjdkver_widget().getAlias(),stringRes);
  }
  stringRes=getcgreflection_log_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgreflection_log_widget().getAlias(),stringRes);
  }
  stringRes=getcgguards_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgguards_widget().getAlias(),stringRes);
  }
  stringRes=getcglibrary_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcglibrary_widget().getAlias(),stringRes);
  }
  boolRes=getcgcg_chaenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_chaenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_chaverbose_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_chaverbose_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_chaapponly_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_chaapponly_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkverbose_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkverbose_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkignore_types_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkignore_types_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkforce_gc_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkforce_gc_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkpre_jimplify_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkpre_jimplify_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkapponly_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkapponly_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkvta_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkvta_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkrta_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkrta_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkfield_based_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkfield_based_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparktypes_for_sites_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparktypes_for_sites_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkmerge_stringbuffer_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkmerge_stringbuffer_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkstring_constants_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkstring_constants_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparksimulate_natives_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparksimulate_natives_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkempties_as_allocs_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkempties_as_allocs_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparksimple_edges_bidirectional_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparksimple_edges_bidirectional_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkon_fly_cg_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkon_fly_cg_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparksimplify_offline_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparksimplify_offline_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparksimplify_sccs_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparksimplify_sccs_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkignore_types_for_sccs_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkignore_types_for_sccs_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getcgcg_sparkpropagator_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_sparkpropagator_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_sparkset_impl_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_sparkset_impl_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_sparkdouble_set_old_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_sparkdouble_set_old_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_sparkdouble_set_new_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_sparkdouble_set_new_widget().getAlias(),stringRes);
  }
  boolRes=getcgcg_sparkdump_html_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkdump_html_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkdump_pag_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkdump_pag_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkdump_solution_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkdump_solution_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparktopo_sort_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparktopo_sort_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkdump_types_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkdump_types_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkclass_method_var_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkclass_method_var_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkdump_answer_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkdump_answer_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkadd_tags_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkadd_tags_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkset_mass_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkset_mass_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkcs_demand_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkcs_demand_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparklazy_pts_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparklazy_pts_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getcgcg_sparktraversal_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgcg_sparktraversal_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_sparkpasses_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgcg_sparkpasses_widget().getAlias(),stringRes);
  }
  boolRes=getcgcg_sparkgeom_pta_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkgeom_pta_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkgeom_trans_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkgeom_trans_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkgeom_blocking_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkgeom_blocking_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_sparkgeom_app_only_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_sparkgeom_app_only_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getcgcg_sparkgeom_dump_verbose_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgcg_sparkgeom_dump_verbose_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_sparkgeom_verify_name_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgcg_sparkgeom_verify_name_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_sparkgeom_eval_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgcg_sparkgeom_eval_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_sparkgeom_frac_base_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgcg_sparkgeom_frac_base_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_sparkgeom_runs_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgcg_sparkgeom_runs_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_sparkgeom_encoding_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_sparkgeom_encoding_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_sparkgeom_worklist_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_sparkgeom_worklist_widget().getAlias(),stringRes);
  }
  boolRes=getcgcg_paddleenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddleenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddleverbose_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddleverbose_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddlebdd_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlebdd_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddledynamic_order_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddledynamic_order_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddleprofile_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddleprofile_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddleverbosegc_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddleverbosegc_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddleignore_types_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddleignore_types_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddlepre_jimplify_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlepre_jimplify_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getcgcg_paddleorder_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgcg_paddleorder_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_paddlebdd_nodes_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgcg_paddlebdd_nodes_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_paddleconf_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_paddleconf_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_paddleq_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_paddleq_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_paddlebackend_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_paddlebackend_widget().getAlias(),stringRes);
  }
  boolRes=getcgcg_paddlecontext_heap_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlecontext_heap_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getcgcg_paddlek_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getcgcg_paddlek_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_paddlecontext_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_paddlecontext_widget().getAlias(),stringRes);
  }
  boolRes=getcgcg_paddlerta_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlerta_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddlefield_based_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlefield_based_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddletypes_for_sites_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddletypes_for_sites_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddlemerge_stringbuffer_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlemerge_stringbuffer_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddlestring_constants_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlestring_constants_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddlesimulate_natives_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlesimulate_natives_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddleglobal_nodes_in_natives_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddleglobal_nodes_in_natives_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddlesimple_edges_bidirectional_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlesimple_edges_bidirectional_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddlethis_edges_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlethis_edges_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddleprecise_newinstance_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddleprecise_newinstance_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getcgcg_paddlepropagator_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_paddlepropagator_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_paddleset_impl_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_paddleset_impl_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_paddledouble_set_old_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_paddledouble_set_old_widget().getAlias(),stringRes);
  }
  stringRes=getcgcg_paddledouble_set_new_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getcgcg_paddledouble_set_new_widget().getAlias(),stringRes);
  }
  boolRes=getcgcg_paddlecontext_counts_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlecontext_counts_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddletotal_context_counts_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddletotal_context_counts_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddlemethod_context_counts_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlemethod_context_counts_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddleset_mass_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddleset_mass_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getcgcg_paddlenumber_nodes_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getcgcg_paddlenumber_nodes_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwstpenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwstpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwsopenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwsopenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjtpenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjtpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjtpwjtp_mhpenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjtpwjtp_mhpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjtpwjtp_tnenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjtpwjtp_tnenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjtpwjtp_tnavoid_deadlock_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjtpwjtp_tnavoid_deadlock_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjtpwjtp_tnopen_nesting_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjtpwjtp_tnopen_nesting_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjtpwjtp_tndo_mhp_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjtpwjtp_tndo_mhp_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjtpwjtp_tndo_tlo_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjtpwjtp_tndo_tlo_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjtpwjtp_tnprint_graph_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjtpwjtp_tnprint_graph_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjtpwjtp_tnprint_table_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjtpwjtp_tnprint_table_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjtpwjtp_tnprint_debug_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjtpwjtp_tnprint_debug_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getwjtpwjtp_tnlocking_scheme_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getwjtpwjtp_tnlocking_scheme_widget().getAlias(),stringRes);
  }
  boolRes=getwjtpwjtp_rdcenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjtpwjtp_rdcenabled_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getwjtpwjtp_rdcfixed_class_names_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getwjtpwjtp_rdcfixed_class_names_widget().getAlias(),stringRes);
  }
  boolRes=getwjopenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjopenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjopwjop_smbenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjopwjop_smbenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjopwjop_smbinsert_null_checks_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjopwjop_smbinsert_null_checks_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjopwjop_smbinsert_redundant_casts_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjopwjop_smbinsert_redundant_casts_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getwjopwjop_smballowed_modifier_changes_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getwjopwjop_smballowed_modifier_changes_widget().getAlias(),stringRes);
  }
  boolRes=getwjopwjop_sienabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjopwjop_sienabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjopwjop_sirerun_jb_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjopwjop_sirerun_jb_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjopwjop_siinsert_null_checks_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjopwjop_siinsert_null_checks_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjopwjop_siinsert_redundant_casts_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjopwjop_siinsert_redundant_casts_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getwjopwjop_siexpansion_factor_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getwjopwjop_siexpansion_factor_widget().getAlias(),stringRes);
  }
  stringRes=getwjopwjop_simax_container_size_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getwjopwjop_simax_container_size_widget().getAlias(),stringRes);
  }
  stringRes=getwjopwjop_simax_inlinee_size_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getwjopwjop_simax_inlinee_size_widget().getAlias(),stringRes);
  }
  stringRes=getwjopwjop_siallowed_modifier_changes_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getwjopwjop_siallowed_modifier_changes_widget().getAlias(),stringRes);
  }
  boolRes=getwjapenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_raenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_raenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_umtenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_umtenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_uftenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_uftenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_tqtenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_tqtenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_cggenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_cggenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_cggshow_lib_meths_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_cggshow_lib_meths_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_purityenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_purityenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_puritydump_summaries_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_puritydump_summaries_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_puritydump_cg_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_puritydump_cg_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_puritydump_intra_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_puritydump_intra_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_purityprint_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_purityprint_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_purityannotate_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_purityannotate_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getwjapwjap_purityverbose_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getwjapwjap_purityverbose_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getshimpleenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getshimpleenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getshimplenode_elim_opt_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getshimplenode_elim_opt_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getshimplestandard_local_names_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getshimplestandard_local_names_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getshimpleextended_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getshimpleextended_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getshimpledebug_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getshimpledebug_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getstpenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getstpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getsopenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getsopenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getsopsop_cpfenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getsopsop_cpfenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getsopsop_cpfprune_cfg_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getsopsop_cpfprune_cfg_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjtpenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjtpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_cseenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_cseenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_csenaive_side_effect_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_csenaive_side_effect_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_bcmenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_bcmenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_bcmnaive_side_effect_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_bcmnaive_side_effect_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_lcmenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_lcmenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_lcmunroll_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_lcmunroll_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_lcmnaive_side_effect_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_lcmnaive_side_effect_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getjopjop_lcmsafety_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getjopjop_lcmsafety_widget().getAlias(),stringRes);
  }
  boolRes=getjopjop_cpenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_cpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_cponly_regular_locals_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_cponly_regular_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_cponly_stack_locals_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_cponly_stack_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_cpfenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_cpfenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_cbfenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_cbfenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_daeenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_daeenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_daeonly_tag_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_daeonly_tag_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_daeonly_stack_locals_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_daeonly_stack_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_nceenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_nceenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_uce1enabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_uce1enabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_uce1remove_unreachable_traps_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_uce1remove_unreachable_traps_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_ubf1enabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_ubf1enabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_uce2enabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_uce2enabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_uce2remove_unreachable_traps_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_uce2remove_unreachable_traps_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_ubf2enabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_ubf2enabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjopjop_uleenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjopjop_uleenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_npcenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_npcenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_npconly_array_ref_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_npconly_array_ref_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_npcprofiling_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_npcprofiling_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_npcolorerenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_npcolorerenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_abcenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_abcenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_abcwith_all_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_abcwith_all_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_abcwith_cse_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_abcwith_cse_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_abcwith_arrayref_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_abcwith_arrayref_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_abcwith_fieldref_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_abcwith_fieldref_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_abcwith_classfield_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_abcwith_classfield_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_abcwith_rectarray_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_abcwith_rectarray_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_abcprofiling_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_abcprofiling_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_abcadd_color_tags_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_abcadd_color_tags_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_profilingenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_profilingenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_profilingnotmainentry_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_profilingnotmainentry_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_seaenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_seaenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_seanaive_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_seanaive_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_fieldrwenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_fieldrwenabled_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getjapjap_fieldrwthreshold_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getjapjap_fieldrwthreshold_widget().getAlias(),stringRes);
  }
  boolRes=getjapjap_cgtaggerenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_cgtaggerenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_parityenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_parityenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_patenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_patenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_lvtaggerenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_lvtaggerenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_rdtaggerenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_rdtaggerenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_cheenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_cheenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_umtenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_umtenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_litenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_litenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getjapjap_aetenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_aetenabled_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getjapjap_aetkind_widget().getSelectedAlias();
  defStringRes="String_Node_Str";
  if (!stringRes.equals(defStringRes)) {
    getConfig().put(getjapjap_aetkind_widget().getAlias(),stringRes);
  }
  boolRes=getjapjap_dmtenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getjapjap_dmtenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getgbenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getgbenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getgbgb_a1enabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getgbgb_a1enabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getgbgb_a1only_stack_locals_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getgbgb_a1only_stack_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getgbgb_cfenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getgbgb_cfenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getgbgb_a2enabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getgbgb_a2enabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getgbgb_a2only_stack_locals_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getgbgb_a2only_stack_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getgbgb_uleenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getgbgb_uleenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getgopenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getgopenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbbb_lsoenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbbb_lsoenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbbb_lsodebug_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbbb_lsodebug_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbbb_lsointer_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbbb_lsointer_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbbb_lsosl_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbbb_lsosl_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbbb_lsosl2_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbbb_lsosl2_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbbb_lsosll_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbbb_lsosll_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbbb_lsosll2_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbbb_lsosll2_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbbb_scoenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbbb_scoenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbbb_phoenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbbb_phoenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbbb_uleenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbbb_uleenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbbb_lpenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbbb_lpenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbbbb_lpunsplit_original_locals_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getbbbb_lpunsplit_original_locals_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getbopenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getbopenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=gettagenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(gettagenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=gettagtag_lnenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(gettagtag_lnenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=gettagtag_anenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(gettagtag_anenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=gettagtag_depenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(gettagtag_depenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=gettagtag_fieldrwenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(gettagtag_fieldrwenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getdbenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getdbenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getdbsource_is_javac_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getdbsource_is_javac_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getdbdb_transformationsenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getdbdb_transformationsenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getdbdb_renamerenabled_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getdbdb_renamerenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getdbdb_deobfuscateenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getdbdb_deobfuscateenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getdbdb_force_recompileenabled_widget().getButton().getSelection();
  defBoolRes=true;
  if (boolRes != defBoolRes) {
    getConfig().put(getdbdb_force_recompileenabled_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getApplication_Mode_Optionsinclude_all_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getApplication_Mode_Optionsinclude_all_widget().getAlias(),new Boolean(boolRes));
  }
  stringRes=getApplication_Mode_Optionsinclude_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getApplication_Mode_Optionsinclude_widget().getAlias(),stringRes);
  }
  stringRes=getApplication_Mode_Optionsexclude_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getApplication_Mode_Optionsexclude_widget().getAlias(),stringRes);
  }
  stringRes=getApplication_Mode_Optionsdynamic_class_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getApplication_Mode_Optionsdynamic_class_widget().getAlias(),stringRes);
  }
  stringRes=getApplication_Mode_Optionsdynamic_dir_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getApplication_Mode_Optionsdynamic_dir_widget().getAlias(),stringRes);
  }
  stringRes=getApplication_Mode_Optionsdynamic_package_widget().getText().getText();
  defStringRes="String_Node_Str";
  if ((!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
    getConfig().put(getApplication_Mode_Optionsdynamic_package_widget().getAlias(),stringRes);
  }
  boolRes=getInput_Attribute_Optionskeep_line_number_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Attribute_Optionskeep_line_number_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getInput_Attribute_Optionskeep_offset_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getInput_Attribute_Optionskeep_offset_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getOutput_Attribute_Optionswrite_local_annotations_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getOutput_Attribute_Optionswrite_local_annotations_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getAnnotation_Optionsannot_purity_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getAnnotation_Optionsannot_purity_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getAnnotation_Optionsannot_nullpointer_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getAnnotation_Optionsannot_nullpointer_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getAnnotation_Optionsannot_arraybounds_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getAnnotation_Optionsannot_arraybounds_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getAnnotation_Optionsannot_side_effect_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getAnnotation_Optionsannot_side_effect_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getAnnotation_Optionsannot_fieldrw_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getAnnotation_Optionsannot_fieldrw_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getMiscellaneous_Optionstime_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getMiscellaneous_Optionstime_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getMiscellaneous_Optionssubtract_gc_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getMiscellaneous_Optionssubtract_gc_widget().getAlias(),new Boolean(boolRes));
  }
  boolRes=getMiscellaneous_Optionsno_writeout_body_releasing_widget().getButton().getSelection();
  defBoolRes=false;
  if (boolRes != defBoolRes) {
    getConfig().put(getMiscellaneous_Optionsno_writeout_body_releasing_widget().getAlias(),new Boolean(boolRes));
  }
  setSootMainClass(getSootMainClassWidget().getText().getText());
  return setSootMainProject(getSootMainProjectWidget().getText().getText());
}