KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > ca > mcgill > sable > soot > ui > PhaseOptionsDialog


1
2
3 /*
4  * This library is free software; you can redistribute it and/or
5  * modify it under the terms of the GNU Lesser General Public
6  * License as published by the Free Software Foundation; either
7  * version 2.1 of the License, or (at your option) any later version.
8  *
9  * This library is distributed in the hope that it will be useful,
10  * but WITHOUT ANY WARRANTY; without even the implied warranty of
11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12  * Lesser General Public License for more details.
13  *
14  * You should have received a copy of the GNU Lesser General Public
15  * License along with this library; if not, write to the
16  * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
17  * Boston, MA 02111-1307, USA.
18  *
19  * This class is generated automajically from xml - DO NOT EDIT - as
20  * changes will be over written
21  *
22  * The purpose of this class is to automajically generate a options
23  * dialog in the event that options change
24  *
25  * Taking options away - should not damage the dialog
26  * Adding new sections of options - should not damage the dialog
27  * Adding new otpions to sections (of known option type) - should not
28  * damage the dialog
29  *
30  * Adding new option types will break the dialog (option type widgets
31  * will need to be created)
32  *
33  */

34
35 package ca.mcgill.sable.soot.ui;
36
37 //import org.eclipse.jface.dialogs.IDialogSettings;
38
import org.eclipse.swt.widgets.*;
39 import org.eclipse.swt.*;
40 import org.eclipse.swt.layout.*;
41 //import ca.mcgill.sable.soot.SootPlugin;
42
//import ca.mcgill.sable.soot.util.*;
43
import ca.mcgill.sable.soot.ui.*;
44 import java.util.*;
45 import org.eclipse.swt.events.*;
46
47 public class PhaseOptionsDialog extends AbstractOptionsDialog implements SelectionListener {
48
49     public PhaseOptionsDialog(Shell parentShell) {
50         super(parentShell);
51     }
52     
53     /**
54      * each section gets initialize as a stack layer in pageContainer
55      * the area containing the options
56      */

57     protected void initializePageContainer() {
58
59
60         
61 Composite General_OptionsChild = General_OptionsCreate(getPageContainer());
62
63 Composite Input_OptionsChild = Input_OptionsCreate(getPageContainer());
64
65 Composite Output_OptionsChild = Output_OptionsCreate(getPageContainer());
66
67 Composite Processing_OptionsChild = Processing_OptionsCreate(getPageContainer());
68
69 Composite Application_Mode_OptionsChild = Application_Mode_OptionsCreate(getPageContainer());
70
71 Composite Input_Attribute_OptionsChild = Input_Attribute_OptionsCreate(getPageContainer());
72
73 Composite Annotation_OptionsChild = Annotation_OptionsCreate(getPageContainer());
74
75 Composite Miscellaneous_OptionsChild = Miscellaneous_OptionsCreate(getPageContainer());
76
77 Composite jbChild = jbCreate(getPageContainer());
78
79 Composite jjChild = jjCreate(getPageContainer());
80
81 Composite cgChild = cgCreate(getPageContainer());
82
83 Composite wstpChild = wstpCreate(getPageContainer());
84
85 Composite wsopChild = wsopCreate(getPageContainer());
86
87 Composite wjtpChild = wjtpCreate(getPageContainer());
88
89 Composite wjopChild = wjopCreate(getPageContainer());
90
91 Composite wjapChild = wjapCreate(getPageContainer());
92
93 Composite shimpleChild = shimpleCreate(getPageContainer());
94
95 Composite stpChild = stpCreate(getPageContainer());
96
97 Composite sopChild = sopCreate(getPageContainer());
98
99 Composite jtpChild = jtpCreate(getPageContainer());
100
101 Composite jopChild = jopCreate(getPageContainer());
102
103 Composite japChild = japCreate(getPageContainer());
104
105 Composite gbChild = gbCreate(getPageContainer());
106
107 Composite gopChild = gopCreate(getPageContainer());
108
109 Composite bbChild = bbCreate(getPageContainer());
110
111 Composite bopChild = bopCreate(getPageContainer());
112
113 Composite tagChild = tagCreate(getPageContainer());
114
115 Composite dbChild = dbCreate(getPageContainer());
116
117 Composite jbjb_lsChild = jbjb_lsCreate(getPageContainer());
118
119 Composite jbjb_aChild = jbjb_aCreate(getPageContainer());
120
121 Composite jbjb_uleChild = jbjb_uleCreate(getPageContainer());
122
123 Composite jbjb_trChild = jbjb_trCreate(getPageContainer());
124
125 Composite jbjb_ulpChild = jbjb_ulpCreate(getPageContainer());
126
127 Composite jbjb_lnsChild = jbjb_lnsCreate(getPageContainer());
128
129 Composite jbjb_cpChild = jbjb_cpCreate(getPageContainer());
130
131 Composite jbjb_daeChild = jbjb_daeCreate(getPageContainer());
132
133 Composite jbjb_cp_uleChild = jbjb_cp_uleCreate(getPageContainer());
134
135 Composite jbjb_lpChild = jbjb_lpCreate(getPageContainer());
136
137 Composite jbjb_neChild = jbjb_neCreate(getPageContainer());
138
139 Composite jbjb_uceChild = jbjb_uceCreate(getPageContainer());
140
141 Composite jbjb_ttChild = jbjb_ttCreate(getPageContainer());
142
143 Composite jjjj_lsChild = jjjj_lsCreate(getPageContainer());
144
145 Composite jjjj_aChild = jjjj_aCreate(getPageContainer());
146
147 Composite jjjj_uleChild = jjjj_uleCreate(getPageContainer());
148
149 Composite jjjj_trChild = jjjj_trCreate(getPageContainer());
150
151 Composite jjjj_ulpChild = jjjj_ulpCreate(getPageContainer());
152
153 Composite jjjj_lnsChild = jjjj_lnsCreate(getPageContainer());
154
155 Composite jjjj_cpChild = jjjj_cpCreate(getPageContainer());
156
157 Composite jjjj_daeChild = jjjj_daeCreate(getPageContainer());
158
159 Composite jjjj_cp_uleChild = jjjj_cp_uleCreate(getPageContainer());
160
161 Composite jjjj_lpChild = jjjj_lpCreate(getPageContainer());
162
163 Composite jjjj_neChild = jjjj_neCreate(getPageContainer());
164
165 Composite jjjj_uceChild = jjjj_uceCreate(getPageContainer());
166
167 Composite cgcg_chaChild = cgcg_chaCreate(getPageContainer());
168
169 Composite cgcg_sparkChild = cgcg_sparkCreate(getPageContainer());
170
171 Composite cgcg_paddleChild = cgcg_paddleCreate(getPageContainer());
172
173 Composite cgSpark_General_OptionsChild = cgSpark_General_OptionsCreate(getPageContainer());
174
175 Composite cgSpark_Pointer_Assignment_Graph_Building_OptionsChild = cgSpark_Pointer_Assignment_Graph_Building_OptionsCreate(getPageContainer());
176
177 Composite cgSpark_Pointer_Assignment_Graph_Simplification_OptionsChild = cgSpark_Pointer_Assignment_Graph_Simplification_OptionsCreate(getPageContainer());
178
179 Composite cgSpark_Points_To_Set_Flowing_OptionsChild = cgSpark_Points_To_Set_Flowing_OptionsCreate(getPageContainer());
180
181 Composite cgSpark_Output_OptionsChild = cgSpark_Output_OptionsCreate(getPageContainer());
182
183 Composite cgPaddle_General_OptionsChild = cgPaddle_General_OptionsCreate(getPageContainer());
184
185 Composite cgPaddle_Context_Sensitivity_OptionsChild = cgPaddle_Context_Sensitivity_OptionsCreate(getPageContainer());
186
187 Composite cgPaddle_Pointer_Assignment_Graph_Building_OptionsChild = cgPaddle_Pointer_Assignment_Graph_Building_OptionsCreate(getPageContainer());
188
189 Composite cgPaddle_Points_To_Set_Flowing_OptionsChild = cgPaddle_Points_To_Set_Flowing_OptionsCreate(getPageContainer());
190
191 Composite cgPaddle_Output_OptionsChild = cgPaddle_Output_OptionsCreate(getPageContainer());
192
193 Composite wjopwjop_smbChild = wjopwjop_smbCreate(getPageContainer());
194
195 Composite wjopwjop_siChild = wjopwjop_siCreate(getPageContainer());
196
197 Composite wjapwjap_raChild = wjapwjap_raCreate(getPageContainer());
198
199 Composite wjapwjap_umtChild = wjapwjap_umtCreate(getPageContainer());
200
201 Composite wjapwjap_uftChild = wjapwjap_uftCreate(getPageContainer());
202
203 Composite wjapwjap_tqtChild = wjapwjap_tqtCreate(getPageContainer());
204
205 Composite wjapwjap_cggChild = wjapwjap_cggCreate(getPageContainer());
206
207 Composite wjapwjap_purityChild = wjapwjap_purityCreate(getPageContainer());
208
209 Composite sopsop_cpfChild = sopsop_cpfCreate(getPageContainer());
210
211 Composite jopjop_cseChild = jopjop_cseCreate(getPageContainer());
212
213 Composite jopjop_bcmChild = jopjop_bcmCreate(getPageContainer());
214
215 Composite jopjop_lcmChild = jopjop_lcmCreate(getPageContainer());
216
217 Composite jopjop_cpChild = jopjop_cpCreate(getPageContainer());
218
219 Composite jopjop_cpfChild = jopjop_cpfCreate(getPageContainer());
220
221 Composite jopjop_cbfChild = jopjop_cbfCreate(getPageContainer());
222
223 Composite jopjop_daeChild = jopjop_daeCreate(getPageContainer());
224
225 Composite jopjop_uce1Child = jopjop_uce1Create(getPageContainer());
226
227 Composite jopjop_ubf1Child = jopjop_ubf1Create(getPageContainer());
228
229 Composite jopjop_uce2Child = jopjop_uce2Create(getPageContainer());
230
231 Composite jopjop_ubf2Child = jopjop_ubf2Create(getPageContainer());
232
233 Composite jopjop_uleChild = jopjop_uleCreate(getPageContainer());
234
235 Composite japjap_npcChild = japjap_npcCreate(getPageContainer());
236
237 Composite japjap_npcolorerChild = japjap_npcolorerCreate(getPageContainer());
238
239 Composite japjap_abcChild = japjap_abcCreate(getPageContainer());
240
241 Composite japjap_profilingChild = japjap_profilingCreate(getPageContainer());
242
243 Composite japjap_seaChild = japjap_seaCreate(getPageContainer());
244
245 Composite japjap_fieldrwChild = japjap_fieldrwCreate(getPageContainer());
246
247 Composite japjap_cgtaggerChild = japjap_cgtaggerCreate(getPageContainer());
248
249 Composite japjap_parityChild = japjap_parityCreate(getPageContainer());
250
251 Composite japjap_patChild = japjap_patCreate(getPageContainer());
252
253 Composite japjap_lvtaggerChild = japjap_lvtaggerCreate(getPageContainer());
254
255 Composite japjap_rdtaggerChild = japjap_rdtaggerCreate(getPageContainer());
256
257 Composite japjap_cheChild = japjap_cheCreate(getPageContainer());
258
259 Composite japjap_umtChild = japjap_umtCreate(getPageContainer());
260
261 Composite japjap_litChild = japjap_litCreate(getPageContainer());
262
263 Composite japjap_aetChild = japjap_aetCreate(getPageContainer());
264
265 Composite japjap_dmtChild = japjap_dmtCreate(getPageContainer());
266
267 Composite gbgb_a1Child = gbgb_a1Create(getPageContainer());
268
269 Composite gbgb_cfChild = gbgb_cfCreate(getPageContainer());
270
271 Composite gbgb_a2Child = gbgb_a2Create(getPageContainer());
272
273 Composite gbgb_uleChild = gbgb_uleCreate(getPageContainer());
274
275 Composite bbbb_lsoChild = bbbb_lsoCreate(getPageContainer());
276
277 Composite bbbb_phoChild = bbbb_phoCreate(getPageContainer());
278
279 Composite bbbb_uleChild = bbbb_uleCreate(getPageContainer());
280
281 Composite bbbb_lpChild = bbbb_lpCreate(getPageContainer());
282
283 Composite tagtag_lnChild = tagtag_lnCreate(getPageContainer());
284
285 Composite tagtag_anChild = tagtag_anCreate(getPageContainer());
286
287 Composite tagtag_depChild = tagtag_depCreate(getPageContainer());
288
289 Composite tagtag_fieldrwChild = tagtag_fieldrwCreate(getPageContainer());
290
291 Composite dbdb_transformationsChild = dbdb_transformationsCreate(getPageContainer());
292
293 Composite dbdb_renamerChild = dbdb_renamerCreate(getPageContainer());
294
295 Composite dbdb_deobfuscateChild = dbdb_deobfuscateCreate(getPageContainer());
296
297 Composite dbdb_force_recompileChild = dbdb_force_recompileCreate(getPageContainer());
298
299
300         addOtherPages(getPageContainer());
301         initializeRadioGroups();
302         initializeEnableGroups();
303         
304     }
305
306     private void initializeRadioGroups(){
307         setRadioGroups(new HashMap());
308         int counter = 0;
309         ArrayList buttonList;
310
311         
312         buttonList = new ArrayList();
313
314             
315         if (isEnableButton("enabled")) {
316             buttonList.add(getcgcg_chaenabled_widget());
317             getcgcg_chaenabled_widget().getButton().addSelectionListener(this);
318         }
319
320             
321         if (isEnableButton("verbose")) {
322             buttonList.add(getcgcg_chaverbose_widget());
323             getcgcg_chaverbose_widget().getButton().addSelectionListener(this);
324         }
325
326             
327         if (isEnableButton("enabled")) {
328             buttonList.add(getcgcg_sparkenabled_widget());
329             getcgcg_sparkenabled_widget().getButton().addSelectionListener(this);
330         }
331
332             
333         if (isEnableButton("enabled")) {
334             buttonList.add(getcgcg_paddleenabled_widget());
335             getcgcg_paddleenabled_widget().getButton().addSelectionListener(this);
336         }
337
338         
339         getRadioGroups().put(new Integer JavaDoc(counter), buttonList);
340
341         counter++;
342         
343     }
344
345     
346     
347     private void initializeEnableGroups(){
348         setEnableGroups(new ArrayList());
349         
350         
351         
352         makeNewEnableGroup("jb");
353         
354         
355         addToEnableGroup("jb", getjbenabled_widget(), "enabled");
356         
357         
358         addToEnableGroup("jb", getjbuse_original_names_widget(), "use-original-names");
359         
360         
361         getjbenabled_widget().getButton().addSelectionListener(this);
362         
363         getjbuse_original_names_widget().getButton().addSelectionListener(this);
364         
365         
366         makeNewEnableGroup("jb", "jb.ls");
367         
368         
369         addToEnableGroup("jb", "jb.ls", getjbjb_lsenabled_widget(), "enabled");
370         
371         getjbjb_lsenabled_widget().getButton().addSelectionListener(this);
372         
373         
374         makeNewEnableGroup("jb", "jb.a");
375         
376         
377         addToEnableGroup("jb", "jb.a", getjbjb_aenabled_widget(), "enabled");
378         
379         addToEnableGroup("jb", "jb.a", getjbjb_aonly_stack_locals_widget(), "only-stack-locals");
380         
381         getjbjb_aenabled_widget().getButton().addSelectionListener(this);
382         
383         getjbjb_aonly_stack_locals_widget().getButton().addSelectionListener(this);
384         
385         
386         makeNewEnableGroup("jb", "jb.ule");
387         
388         
389         addToEnableGroup("jb", "jb.ule", getjbjb_uleenabled_widget(), "enabled");
390         
391         getjbjb_uleenabled_widget().getButton().addSelectionListener(this);
392         
393         
394         makeNewEnableGroup("jb", "jb.tr");
395         
396         
397         addToEnableGroup("jb", "jb.tr", getjbjb_trenabled_widget(), "enabled");
398         
399         getjbjb_trenabled_widget().getButton().addSelectionListener(this);
400         
401         
402         makeNewEnableGroup("jb", "jb.ulp");
403         
404         
405         addToEnableGroup("jb", "jb.ulp", getjbjb_ulpenabled_widget(), "enabled");
406         
407         addToEnableGroup("jb", "jb.ulp", getjbjb_ulpunsplit_original_locals_widget(), "unsplit-original-locals");
408         
409         getjbjb_ulpenabled_widget().getButton().addSelectionListener(this);
410         
411         getjbjb_ulpunsplit_original_locals_widget().getButton().addSelectionListener(this);
412         
413         
414         makeNewEnableGroup("jb", "jb.lns");
415         
416         
417         addToEnableGroup("jb", "jb.lns", getjbjb_lnsenabled_widget(), "enabled");
418         
419         addToEnableGroup("jb", "jb.lns", getjbjb_lnsonly_stack_locals_widget(), "only-stack-locals");
420         
421         getjbjb_lnsenabled_widget().getButton().addSelectionListener(this);
422         
423         getjbjb_lnsonly_stack_locals_widget().getButton().addSelectionListener(this);
424         
425         
426         makeNewEnableGroup("jb", "jb.cp");
427         
428         
429         addToEnableGroup("jb", "jb.cp", getjbjb_cpenabled_widget(), "enabled");
430         
431         addToEnableGroup("jb", "jb.cp", getjbjb_cponly_regular_locals_widget(), "only-regular-locals");
432         
433         addToEnableGroup("jb", "jb.cp", getjbjb_cponly_stack_locals_widget(), "only-stack-locals");
434         
435         getjbjb_cpenabled_widget().getButton().addSelectionListener(this);
436         
437         getjbjb_cponly_regular_locals_widget().getButton().addSelectionListener(this);
438         
439         getjbjb_cponly_stack_locals_widget().getButton().addSelectionListener(this);
440         
441         
442         makeNewEnableGroup("jb", "jb.dae");
443         
444         
445         addToEnableGroup("jb", "jb.dae", getjbjb_daeenabled_widget(), "enabled");
446         
447         addToEnableGroup("jb", "jb.dae", getjbjb_daeonly_stack_locals_widget(), "only-stack-locals");
448         
449         getjbjb_daeenabled_widget().getButton().addSelectionListener(this);
450         
451         getjbjb_daeonly_stack_locals_widget().getButton().addSelectionListener(this);
452         
453         
454         makeNewEnableGroup("jb", "jb.cp-ule");
455         
456         
457         addToEnableGroup("jb", "jb.cp-ule", getjbjb_cp_uleenabled_widget(), "enabled");
458         
459         getjbjb_cp_uleenabled_widget().getButton().addSelectionListener(this);
460         
461         
462         makeNewEnableGroup("jb", "jb.lp");
463         
464         
465         addToEnableGroup("jb", "jb.lp", getjbjb_lpenabled_widget(), "enabled");
466         
467         addToEnableGroup("jb", "jb.lp", getjbjb_lpunsplit_original_locals_widget(), "unsplit-original-locals");
468         
469         getjbjb_lpenabled_widget().getButton().addSelectionListener(this);
470         
471         getjbjb_lpunsplit_original_locals_widget().getButton().addSelectionListener(this);
472         
473         
474         makeNewEnableGroup("jb", "jb.ne");
475         
476         
477         addToEnableGroup("jb", "jb.ne", getjbjb_neenabled_widget(), "enabled");
478         
479         getjbjb_neenabled_widget().getButton().addSelectionListener(this);
480         
481         
482         makeNewEnableGroup("jb", "jb.uce");
483         
484         
485         addToEnableGroup("jb", "jb.uce", getjbjb_uceenabled_widget(), "enabled");
486         
487         addToEnableGroup("jb", "jb.uce", getjbjb_uceremove_unreachable_traps_widget(), "remove-unreachable-traps");
488         
489         getjbjb_uceenabled_widget().getButton().addSelectionListener(this);
490         
491         getjbjb_uceremove_unreachable_traps_widget().getButton().addSelectionListener(this);
492         
493         
494         makeNewEnableGroup("jb", "jb.tt");
495         
496         
497         addToEnableGroup("jb", "jb.tt", getjbjb_ttenabled_widget(), "enabled");
498         
499         getjbjb_ttenabled_widget().getButton().addSelectionListener(this);
500         
501         
502         makeNewEnableGroup("jj");
503         
504         
505         addToEnableGroup("jj", getjjenabled_widget(), "enabled");
506         
507         
508         addToEnableGroup("jj", getjjuse_original_names_widget(), "use-original-names");
509         
510         
511         getjjenabled_widget().getButton().addSelectionListener(this);
512         
513         getjjuse_original_names_widget().getButton().addSelectionListener(this);
514         
515         
516         makeNewEnableGroup("jj", "jj.ls");
517         
518         
519         addToEnableGroup("jj", "jj.ls", getjjjj_lsenabled_widget(), "enabled");
520         
521         getjjjj_lsenabled_widget().getButton().addSelectionListener(this);
522         
523         
524         makeNewEnableGroup("jj", "jj.a");
525         
526         
527         addToEnableGroup("jj", "jj.a", getjjjj_aenabled_widget(), "enabled");
528         
529         addToEnableGroup("jj", "jj.a", getjjjj_aonly_stack_locals_widget(), "only-stack-locals");
530         
531         getjjjj_aenabled_widget().getButton().addSelectionListener(this);
532         
533         getjjjj_aonly_stack_locals_widget().getButton().addSelectionListener(this);
534         
535         
536         makeNewEnableGroup("jj", "jj.ule");
537         
538         
539         addToEnableGroup("jj", "jj.ule", getjjjj_uleenabled_widget(), "enabled");
540         
541         getjjjj_uleenabled_widget().getButton().addSelectionListener(this);
542         
543         
544         makeNewEnableGroup("jj", "jj.tr");
545         
546         
547         addToEnableGroup("jj", "jj.tr", getjjjj_trenabled_widget(), "enabled");
548         
549         getjjjj_trenabled_widget().getButton().addSelectionListener(this);
550         
551         
552         makeNewEnableGroup("jj", "jj.ulp");
553         
554         
555         addToEnableGroup("jj", "jj.ulp", getjjjj_ulpenabled_widget(), "enabled");
556         
557         addToEnableGroup("jj", "jj.ulp", getjjjj_ulpunsplit_original_locals_widget(), "unsplit-original-locals");
558         
559         getjjjj_ulpenabled_widget().getButton().addSelectionListener(this);
560         
561         getjjjj_ulpunsplit_original_locals_widget().getButton().addSelectionListener(this);
562         
563         
564         makeNewEnableGroup("jj", "jj.lns");
565         
566         
567         addToEnableGroup("jj", "jj.lns", getjjjj_lnsenabled_widget(), "enabled");
568         
569         addToEnableGroup("jj", "jj.lns", getjjjj_lnsonly_stack_locals_widget(), "only-stack-locals");
570         
571         getjjjj_lnsenabled_widget().getButton().addSelectionListener(this);
572         
573         getjjjj_lnsonly_stack_locals_widget().getButton().addSelectionListener(this);
574         
575         
576         makeNewEnableGroup("jj", "jj.cp");
577         
578         
579         addToEnableGroup("jj", "jj.cp", getjjjj_cpenabled_widget(), "enabled");
580         
581         addToEnableGroup("jj", "jj.cp", getjjjj_cponly_regular_locals_widget(), "only-regular-locals");
582         
583         addToEnableGroup("jj", "jj.cp", getjjjj_cponly_stack_locals_widget(), "only-stack-locals");
584         
585         getjjjj_cpenabled_widget().getButton().addSelectionListener(this);
586         
587         getjjjj_cponly_regular_locals_widget().getButton().addSelectionListener(this);
588         
589         getjjjj_cponly_stack_locals_widget().getButton().addSelectionListener(this);
590         
591         
592         makeNewEnableGroup("jj", "jj.dae");
593         
594         
595         addToEnableGroup("jj", "jj.dae", getjjjj_daeenabled_widget(), "enabled");
596         
597         addToEnableGroup("jj", "jj.dae", getjjjj_daeonly_stack_locals_widget(), "only-stack-locals");
598         
599         getjjjj_daeenabled_widget().getButton().addSelectionListener(this);
600         
601         getjjjj_daeonly_stack_locals_widget().getButton().addSelectionListener(this);
602         
603         
604         makeNewEnableGroup("jj", "jj.cp-ule");
605         
606         
607         addToEnableGroup("jj", "jj.cp-ule", getjjjj_cp_uleenabled_widget(), "enabled");
608         
609         getjjjj_cp_uleenabled_widget().getButton().addSelectionListener(this);
610         
611         
612         makeNewEnableGroup("jj", "jj.lp");
613         
614         
615         addToEnableGroup("jj", "jj.lp", getjjjj_lpenabled_widget(), "enabled");
616         
617         addToEnableGroup("jj", "jj.lp", getjjjj_lpunsplit_original_locals_widget(), "unsplit-original-locals");
618         
619         getjjjj_lpenabled_widget().getButton().addSelectionListener(this);
620         
621         getjjjj_lpunsplit_original_locals_widget().getButton().addSelectionListener(this);
622         
623         
624         makeNewEnableGroup("jj", "jj.ne");
625         
626         
627         addToEnableGroup("jj", "jj.ne", getjjjj_neenabled_widget(), "enabled");
628         
629         getjjjj_neenabled_widget().getButton().addSelectionListener(this);
630         
631         
632         makeNewEnableGroup("jj", "jj.uce");
633         
634         
635         addToEnableGroup("jj", "jj.uce", getjjjj_uceenabled_widget(), "enabled");
636         
637         getjjjj_uceenabled_widget().getButton().addSelectionListener(this);
638         
639         
640         makeNewEnableGroup("cg");
641         
642         
643         addToEnableGroup("cg", getcgenabled_widget(), "enabled");
644         
645         
646         addToEnableGroup("cg", getcgsafe_forname_widget(), "safe-forname");
647         
648         
649         addToEnableGroup("cg", getcgsafe_newinstance_widget(), "safe-newinstance");
650         
651         
652         addToEnableGroup("cg", getcgverbose_widget(), "verbose");
653         
654         
655         addToEnableGroup("cg", getcgjdkver_widget(), "jdkver");
656         
657         
658         addToEnableGroup("cg", getcgall_reachable_widget(), "all-reachable");
659         
660         
661         addToEnableGroup("cg", getcgimplicit_entry_widget(), "implicit-entry");
662         
663         
664         addToEnableGroup("cg", getcgtrim_clinit_widget(), "trim-clinit");
665         
666         
667         getcgenabled_widget().getButton().addSelectionListener(this);
668         
669         getcgsafe_forname_widget().getButton().addSelectionListener(this);
670         
671         getcgsafe_newinstance_widget().getButton().addSelectionListener(this);
672         
673         getcgverbose_widget().getButton().addSelectionListener(this);
674         
675         getcgall_reachable_widget().getButton().addSelectionListener(this);
676         
677         getcgimplicit_entry_widget().getButton().addSelectionListener(this);
678         
679         getcgtrim_clinit_widget().getButton().addSelectionListener(this);
680         
681         
682         makeNewEnableGroup("cg", "cg.cha");
683         
684         
685         addToEnableGroup("cg", "cg.cha", getcgcg_chaenabled_widget(), "enabled");
686         
687         addToEnableGroup("cg", "cg.cha", getcgcg_chaverbose_widget(), "verbose");
688         
689         getcgcg_chaenabled_widget().getButton().addSelectionListener(this);
690         
691         getcgcg_chaverbose_widget().getButton().addSelectionListener(this);
692         
693         
694         makeNewEnableGroup("cg", "cg.spark");
695         
696         
697         addToEnableGroup("cg", "cg.spark", getcgcg_sparkenabled_widget(), "enabled");
698         
699         getcgcg_sparkenabled_widget().getButton().addSelectionListener(this);
700         
701         addToEnableGroup("cg", "cg.spark", getcgcg_sparkverbose_widget(), "verbose");
702
703         
704         addToEnableGroup("cg", "cg.spark", getcgcg_sparkignore_types_widget(), "ignore-types");
705
706         
707         addToEnableGroup("cg", "cg.spark", getcgcg_sparkforce_gc_widget(), "force-gc");
708
709         
710         addToEnableGroup("cg", "cg.spark", getcgcg_sparkpre_jimplify_widget(), "pre-jimplify");
711
712         
713         addToEnableGroup("cg", "cg.spark", getcgcg_sparkvta_widget(), "vta");
714
715         
716         addToEnableGroup("cg", "cg.spark", getcgcg_sparkrta_widget(), "rta");
717
718         
719         addToEnableGroup("cg", "cg.spark", getcgcg_sparkfield_based_widget(), "field-based");
720
721         
722         addToEnableGroup("cg", "cg.spark", getcgcg_sparktypes_for_sites_widget(), "types-for-sites");
723
724         
725         addToEnableGroup("cg", "cg.spark", getcgcg_sparkmerge_stringbuffer_widget(), "merge-stringbuffer");
726
727         
728         addToEnableGroup("cg", "cg.spark", getcgcg_sparkstring_constants_widget(), "string-constants");
729
730         
731         addToEnableGroup("cg", "cg.spark", getcgcg_sparksimulate_natives_widget(), "simulate-natives");
732
733         
734         addToEnableGroup("cg", "cg.spark", getcgcg_sparksimple_edges_bidirectional_widget(), "simple-edges-bidirectional");
735
736         
737         addToEnableGroup("cg", "cg.spark", getcgcg_sparkon_fly_cg_widget(), "on-fly-cg");
738
739         
740         addToEnableGroup("cg", "cg.spark", getcgcg_sparksimplify_offline_widget(), "simplify-offline");
741
742         
743         addToEnableGroup("cg", "cg.spark", getcgcg_sparksimplify_sccs_widget(), "simplify-sccs");
744
745         
746         addToEnableGroup("cg", "cg.spark", getcgcg_sparkignore_types_for_sccs_widget(), "ignore-types-for-sccs");
747
748         
749         addToEnableGroup("cg", "cg.spark", getcgcg_sparkpropagator_widget(), "propagator");
750
751         
752         addToEnableGroup("cg", "cg.spark", getcgcg_sparkset_impl_widget(), "set-impl");
753
754         
755         addToEnableGroup("cg", "cg.spark", getcgcg_sparkdouble_set_old_widget(), "double-set-old");
756
757         
758         addToEnableGroup("cg", "cg.spark", getcgcg_sparkdouble_set_new_widget(), "double-set-new");
759
760         
761         addToEnableGroup("cg", "cg.spark", getcgcg_sparkdump_html_widget(), "dump-html");
762
763         
764         addToEnableGroup("cg", "cg.spark", getcgcg_sparkdump_pag_widget(), "dump-pag");
765
766         
767         addToEnableGroup("cg", "cg.spark", getcgcg_sparkdump_solution_widget(), "dump-solution");
768
769         
770         addToEnableGroup("cg", "cg.spark", getcgcg_sparktopo_sort_widget(), "topo-sort");
771
772         
773         addToEnableGroup("cg", "cg.spark", getcgcg_sparkdump_types_widget(), "dump-types");
774
775         
776         addToEnableGroup("cg", "cg.spark", getcgcg_sparkclass_method_var_widget(), "class-method-var");
777
778         
779         addToEnableGroup("cg", "cg.spark", getcgcg_sparkdump_answer_widget(), "dump-answer");
780
781         
782         addToEnableGroup("cg", "cg.spark", getcgcg_sparkadd_tags_widget(), "add-tags");
783
784         
785         addToEnableGroup("cg", "cg.spark", getcgcg_sparkset_mass_widget(), "set-mass");
786
787         
788         
789         makeNewEnableGroup("cg", "cg.paddle");
790         
791         
792         addToEnableGroup("cg", "cg.paddle", getcgcg_paddleenabled_widget(), "enabled");
793         
794         getcgcg_paddleenabled_widget().getButton().addSelectionListener(this);
795         
796         addToEnableGroup("cg", "cg.paddle", getcgcg_paddleverbose_widget(), "verbose");
797
798         
799         addToEnableGroup("cg", "cg.paddle", getcgcg_paddleconf_widget(), "conf");
800
801         
802         addToEnableGroup("cg", "cg.paddle", getcgcg_paddlebdd_widget(), "bdd");
803
804         
805         addToEnableGroup("cg", "cg.paddle", getcgcg_paddleorder_widget(), "order");
806
807         
808         addToEnableGroup("cg", "cg.paddle", getcgcg_paddledynamic_order_widget(), "dynamic-order");
809
810         
811         addToEnableGroup("cg", "cg.paddle", getcgcg_paddleprofile_widget(), "profile");
812
813         
814         addToEnableGroup("cg", "cg.paddle", getcgcg_paddleq_widget(), "q");
815
816         
817         addToEnableGroup("cg", "cg.paddle", getcgcg_paddlebackend_widget(), "backend");
818
819         
820         addToEnableGroup("cg", "cg.paddle", getcgcg_paddleignore_types_widget(), "ignore-types");
821
822         
823         addToEnableGroup("cg", "cg.paddle", getcgcg_paddlepre_jimplify_widget(), "pre-jimplify");
824
825         
826         addToEnableGroup("cg", "cg.paddle", getcgcg_paddlecontext_widget(), "context");
827
828         
829         addToEnableGroup("cg", "cg.paddle", getcgcg_paddlek_widget(), "k");
830
831         
832         addToEnableGroup("cg", "cg.paddle", getcgcg_paddlecontext_heap_widget(), "context-heap");
833
834         
835         addToEnableGroup("cg", "cg.paddle", getcgcg_paddlerta_widget(), "rta");
836
837         
838         addToEnableGroup("cg", "cg.paddle", getcgcg_paddlefield_based_widget(), "field-based");
839
840         
841         addToEnableGroup("cg", "cg.paddle", getcgcg_paddletypes_for_sites_widget(), "types-for-sites");
842
843         
844         addToEnableGroup("cg", "cg.paddle", getcgcg_paddlemerge_stringbuffer_widget(), "merge-stringbuffer");
845
846         
847         addToEnableGroup("cg", "cg.paddle", getcgcg_paddlestring_constants_widget(), "string-constants");
848
849         
850         addToEnableGroup("cg", "cg.paddle", getcgcg_paddlesimulate_natives_widget(), "simulate-natives");
851
852         
853         addToEnableGroup("cg", "cg.paddle", getcgcg_paddleglobal_nodes_in_natives_widget(), "global-nodes-in-natives");
854
855         
856         addToEnableGroup("cg", "cg.paddle", getcgcg_paddlesimple_edges_bidirectional_widget(), "simple-edges-bidirectional");
857
858         
859         addToEnableGroup("cg", "cg.paddle", getcgcg_paddlethis_edges_widget(), "this-edges");
860
861         
862         addToEnableGroup("cg", "cg.paddle", getcgcg_paddleprecise_newinstance_widget(), "precise-newinstance");
863
864         
865         addToEnableGroup("cg", "cg.paddle", getcgcg_paddlepropagator_widget(), "propagator");
866
867         
868         addToEnableGroup("cg", "cg.paddle", getcgcg_paddleset_impl_widget(), "set-impl");
869
870         
871         addToEnableGroup("cg", "cg.paddle", getcgcg_paddledouble_set_old_widget(), "double-set-old");
872
873         
874         addToEnableGroup("cg", "cg.paddle", getcgcg_paddledouble_set_new_widget(), "double-set-new");
875
876         
877         addToEnableGroup("cg", "cg.paddle", getcgcg_paddlecontext_counts_widget(), "context-counts");
878
879         
880         addToEnableGroup("cg", "cg.paddle", getcgcg_paddletotal_context_counts_widget(), "total-context-counts");
881
882         
883         addToEnableGroup("cg", "cg.paddle", getcgcg_paddlemethod_context_counts_widget(), "method-context-counts");
884
885         
886         addToEnableGroup("cg", "cg.paddle", getcgcg_paddleset_mass_widget(), "set-mass");
887
888         
889         addToEnableGroup("cg", "cg.paddle", getcgcg_paddlenumber_nodes_widget(), "number-nodes");
890
891         
892         
893         makeNewEnableGroup("wstp");
894         
895         
896         addToEnableGroup("wstp", getwstpenabled_widget(), "enabled");
897         
898         
899         getwstpenabled_widget().getButton().addSelectionListener(this);
900         
901         
902         makeNewEnableGroup("wsop");
903         
904         
905         addToEnableGroup("wsop", getwsopenabled_widget(), "enabled");
906         
907         
908         getwsopenabled_widget().getButton().addSelectionListener(this);
909         
910         
911         makeNewEnableGroup("wjtp");
912         
913         
914         addToEnableGroup("wjtp", getwjtpenabled_widget(), "enabled");
915         
916         
917         getwjtpenabled_widget().getButton().addSelectionListener(this);
918         
919         
920         makeNewEnableGroup("wjop");
921         
922         
923         addToEnableGroup("wjop", getwjopenabled_widget(), "enabled");
924         
925         
926         getwjopenabled_widget().getButton().addSelectionListener(this);
927         
928         
929         makeNewEnableGroup("wjop", "wjop.smb");
930         
931         
932         addToEnableGroup("wjop", "wjop.smb", getwjopwjop_smbenabled_widget(), "enabled");
933         
934         addToEnableGroup("wjop", "wjop.smb", getwjopwjop_smbinsert_null_checks_widget(), "insert-null-checks");
935         
936         addToEnableGroup("wjop", "wjop.smb", getwjopwjop_smbinsert_redundant_casts_widget(), "insert-redundant-casts");
937         
938         addToEnableGroup("wjop", "wjop.smb", getwjopwjop_smballowed_modifier_changes_widget(), "allowed-modifier-changes");
939         
940         getwjopwjop_smbenabled_widget().getButton().addSelectionListener(this);
941         
942         getwjopwjop_smbinsert_null_checks_widget().getButton().addSelectionListener(this);
943         
944         getwjopwjop_smbinsert_redundant_casts_widget().getButton().addSelectionListener(this);
945         
946         
947         makeNewEnableGroup("wjop", "wjop.si");
948         
949         
950         addToEnableGroup("wjop", "wjop.si", getwjopwjop_sienabled_widget(), "enabled");
951         
952         addToEnableGroup("wjop", "wjop.si", getwjopwjop_sirerun_jb_widget(), "rerun-jb");
953         
954         addToEnableGroup("wjop", "wjop.si", getwjopwjop_siinsert_null_checks_widget(), "insert-null-checks");
955         
956         addToEnableGroup("wjop", "wjop.si", getwjopwjop_siinsert_redundant_casts_widget(), "insert-redundant-casts");
957         
958         addToEnableGroup("wjop", "wjop.si", getwjopwjop_siallowed_modifier_changes_widget(), "allowed-modifier-changes");
959         
960         addToEnableGroup("wjop", "wjop.si", getwjopwjop_siexpansion_factor_widget(), "expansion-factor");
961         
962         addToEnableGroup("wjop", "wjop.si", getwjopwjop_simax_container_size_widget(), "max-container-size");
963         
964         addToEnableGroup("wjop", "wjop.si", getwjopwjop_simax_inlinee_size_widget(), "max-inlinee-size");
965         
966         getwjopwjop_sienabled_widget().getButton().addSelectionListener(this);
967         
968         getwjopwjop_sirerun_jb_widget().getButton().addSelectionListener(this);
969         
970         getwjopwjop_siinsert_null_checks_widget().getButton().addSelectionListener(this);
971         
972         getwjopwjop_siinsert_redundant_casts_widget().getButton().addSelectionListener(this);
973         
974         
975         makeNewEnableGroup("wjap");
976         
977         
978         addToEnableGroup("wjap", getwjapenabled_widget(), "enabled");
979         
980         
981         getwjapenabled_widget().getButton().addSelectionListener(this);
982         
983         
984         makeNewEnableGroup("wjap", "wjap.ra");
985         
986         
987         addToEnableGroup("wjap", "wjap.ra", getwjapwjap_raenabled_widget(), "enabled");
988         
989         getwjapwjap_raenabled_widget().getButton().addSelectionListener(this);
990         
991         
992         makeNewEnableGroup("wjap", "wjap.umt");
993         
994         
995         addToEnableGroup("wjap", "wjap.umt", getwjapwjap_umtenabled_widget(), "enabled");
996         
997         getwjapwjap_umtenabled_widget().getButton().addSelectionListener(this);
998         
999         
1000        makeNewEnableGroup("wjap", "wjap.uft");
1001        
1002        
1003        addToEnableGroup("wjap", "wjap.uft", getwjapwjap_uftenabled_widget(), "enabled");
1004        
1005        getwjapwjap_uftenabled_widget().getButton().addSelectionListener(this);
1006        
1007        
1008        makeNewEnableGroup("wjap", "wjap.tqt");
1009        
1010        
1011        addToEnableGroup("wjap", "wjap.tqt", getwjapwjap_tqtenabled_widget(), "enabled");
1012        
1013        getwjapwjap_tqtenabled_widget().getButton().addSelectionListener(this);
1014        
1015        
1016        makeNewEnableGroup("wjap", "wjap.cgg");
1017        
1018        
1019        addToEnableGroup("wjap", "wjap.cgg", getwjapwjap_cggenabled_widget(), "enabled");
1020        
1021        addToEnableGroup("wjap", "wjap.cgg", getwjapwjap_cggshow_lib_meths_widget(), "show-lib-meths");
1022        
1023        getwjapwjap_cggenabled_widget().getButton().addSelectionListener(this);
1024        
1025        getwjapwjap_cggshow_lib_meths_widget().getButton().addSelectionListener(this);
1026        
1027        
1028        makeNewEnableGroup("wjap", "wjap.purity");
1029        
1030        
1031        addToEnableGroup("wjap", "wjap.purity", getwjapwjap_purityenabled_widget(), "enabled");
1032        
1033        addToEnableGroup("wjap", "wjap.purity", getwjapwjap_puritydump_summaries_widget(), "dump-summaries");
1034        
1035        addToEnableGroup("wjap", "wjap.purity", getwjapwjap_puritydump_cg_widget(), "dump-cg");
1036        
1037        addToEnableGroup("wjap", "wjap.purity", getwjapwjap_puritydump_intra_widget(), "dump-intra");
1038        
1039        addToEnableGroup("wjap", "wjap.purity", getwjapwjap_purityprint_widget(), "print");
1040        
1041        addToEnableGroup("wjap", "wjap.purity", getwjapwjap_purityverbose_widget(), "verbose");
1042        
1043        getwjapwjap_purityenabled_widget().getButton().addSelectionListener(this);
1044        
1045        getwjapwjap_puritydump_summaries_widget().getButton().addSelectionListener(this);
1046        
1047        getwjapwjap_puritydump_cg_widget().getButton().addSelectionListener(this);
1048        
1049        getwjapwjap_puritydump_intra_widget().getButton().addSelectionListener(this);
1050        
1051        getwjapwjap_purityprint_widget().getButton().addSelectionListener(this);
1052        
1053        getwjapwjap_purityverbose_widget().getButton().addSelectionListener(this);
1054        
1055        
1056        makeNewEnableGroup("shimple");
1057        
1058        
1059        addToEnableGroup("shimple", getshimpleenabled_widget(), "enabled");
1060        
1061        
1062        addToEnableGroup("shimple", getshimplenode_elim_opt_widget(), "node-elim-opt");
1063        
1064        
1065        addToEnableGroup("shimple", getshimplestandard_local_names_widget(), "standard-local-names");
1066        
1067        
1068        addToEnableGroup("shimple", getshimpleextended_widget(), "extended");
1069        
1070        
1071        addToEnableGroup("shimple", getshimpledebug_widget(), "debug");
1072        
1073        
1074        getshimpleenabled_widget().getButton().addSelectionListener(this);
1075        
1076        getshimplenode_elim_opt_widget().getButton().addSelectionListener(this);
1077        
1078        getshimplestandard_local_names_widget().getButton().addSelectionListener(this);
1079        
1080        getshimpleextended_widget().getButton().addSelectionListener(this);
1081        
1082        getshimpledebug_widget().getButton().addSelectionListener(this);
1083        
1084        
1085        makeNewEnableGroup("stp");
1086        
1087        
1088        addToEnableGroup("stp", getstpenabled_widget(), "enabled");
1089        
1090        
1091        getstpenabled_widget().getButton().addSelectionListener(this);
1092        
1093        
1094        makeNewEnableGroup("sop");
1095        
1096        
1097        addToEnableGroup("sop", getsopenabled_widget(), "enabled");
1098        
1099        
1100        getsopenabled_widget().getButton().addSelectionListener(this);
1101        
1102        
1103        makeNewEnableGroup("sop", "sop.cpf");
1104        
1105        
1106        addToEnableGroup("sop", "sop.cpf", getsopsop_cpfenabled_widget(), "enabled");
1107        
1108        addToEnableGroup("sop", "sop.cpf", getsopsop_cpfprune_cfg_widget(), "prune-cfg");
1109        
1110        getsopsop_cpfenabled_widget().getButton().addSelectionListener(this);
1111        
1112        getsopsop_cpfprune_cfg_widget().getButton().addSelectionListener(this);
1113        
1114        
1115        makeNewEnableGroup("jtp");
1116        
1117        
1118        addToEnableGroup("jtp", getjtpenabled_widget(), "enabled");
1119        
1120        
1121        getjtpenabled_widget().getButton().addSelectionListener(this);
1122        
1123        
1124        makeNewEnableGroup("jop");
1125        
1126        
1127        addToEnableGroup("jop", getjopenabled_widget(), "enabled");
1128        
1129        
1130        getjopenabled_widget().getButton().addSelectionListener(this);
1131        
1132        
1133        makeNewEnableGroup("jop", "jop.cse");
1134        
1135        
1136        addToEnableGroup("jop", "jop.cse", getjopjop_cseenabled_widget(), "enabled");
1137        
1138        addToEnableGroup("jop", "jop.cse", getjopjop_csenaive_side_effect_widget(), "naive-side-effect");
1139        
1140        getjopjop_cseenabled_widget().getButton().addSelectionListener(this);
1141        
1142        getjopjop_csenaive_side_effect_widget().getButton().addSelectionListener(this);
1143        
1144        
1145        makeNewEnableGroup("jop", "jop.bcm");
1146        
1147        
1148        addToEnableGroup("jop", "jop.bcm", getjopjop_bcmenabled_widget(), "enabled");
1149        
1150        addToEnableGroup("jop", "jop.bcm", getjopjop_bcmnaive_side_effect_widget(), "naive-side-effect");
1151        
1152        getjopjop_bcmenabled_widget().getButton().addSelectionListener(this);
1153        
1154        getjopjop_bcmnaive_side_effect_widget().getButton().addSelectionListener(this);
1155        
1156        
1157        makeNewEnableGroup("jop", "jop.lcm");
1158        
1159        
1160        addToEnableGroup("jop", "jop.lcm", getjopjop_lcmenabled_widget(), "enabled");
1161        
1162        addToEnableGroup("jop", "jop.lcm", getjopjop_lcmsafety_widget(), "safety");
1163        
1164        addToEnableGroup("jop", "jop.lcm", getjopjop_lcmunroll_widget(), "unroll");
1165        
1166        addToEnableGroup("jop", "jop.lcm", getjopjop_lcmnaive_side_effect_widget(), "naive-side-effect");
1167        
1168        getjopjop_lcmenabled_widget().getButton().addSelectionListener(this);
1169        
1170        getjopjop_lcmunroll_widget().getButton().addSelectionListener(this);
1171        
1172        getjopjop_lcmnaive_side_effect_widget().getButton().addSelectionListener(this);
1173        
1174        
1175        makeNewEnableGroup("jop", "jop.cp");
1176        
1177        
1178        addToEnableGroup("jop", "jop.cp", getjopjop_cpenabled_widget(), "enabled");
1179        
1180        addToEnableGroup("jop", "jop.cp", getjopjop_cponly_regular_locals_widget(), "only-regular-locals");
1181        
1182        addToEnableGroup("jop", "jop.cp", getjopjop_cponly_stack_locals_widget(), "only-stack-locals");
1183        
1184        getjopjop_cpenabled_widget().getButton().addSelectionListener(this);
1185        
1186        getjopjop_cponly_regular_locals_widget().getButton().addSelectionListener(this);
1187        
1188        getjopjop_cponly_stack_locals_widget().getButton().addSelectionListener(this);
1189        
1190        
1191        makeNewEnableGroup("jop", "jop.cpf");
1192        
1193        
1194        addToEnableGroup("jop", "jop.cpf", getjopjop_cpfenabled_widget(), "enabled");
1195        
1196        getjopjop_cpfenabled_widget().getButton().addSelectionListener(this);
1197        
1198        
1199        makeNewEnableGroup("jop", "jop.cbf");
1200        
1201        
1202        addToEnableGroup("jop", "jop.cbf", getjopjop_cbfenabled_widget(), "enabled");
1203        
1204        getjopjop_cbfenabled_widget().getButton().addSelectionListener(this);
1205        
1206        
1207        makeNewEnableGroup("jop", "jop.dae");
1208        
1209        
1210        addToEnableGroup("jop", "jop.dae", getjopjop_daeenabled_widget(), "enabled");
1211        
1212        addToEnableGroup("jop", "jop.dae", getjopjop_daeonly_tag_widget(), "only-tag");
1213        
1214        addToEnableGroup("jop", "jop.dae", getjopjop_daeonly_stack_locals_widget(), "only-stack-locals");
1215        
1216        getjopjop_daeenabled_widget().getButton().addSelectionListener(this);
1217        
1218        getjopjop_daeonly_tag_widget().getButton().addSelectionListener(this);
1219        
1220        getjopjop_daeonly_stack_locals_widget().getButton().addSelectionListener(this);
1221        
1222        
1223        makeNewEnableGroup("jop", "jop.uce1");
1224        
1225        
1226        addToEnableGroup("jop", "jop.uce1", getjopjop_uce1enabled_widget(), "enabled");
1227        
1228        addToEnableGroup("jop", "jop.uce1", getjopjop_uce1remove_unreachable_traps_widget(), "remove-unreachable-traps");
1229        
1230        getjopjop_uce1enabled_widget().getButton().addSelectionListener(this);
1231        
1232        getjopjop_uce1remove_unreachable_traps_widget().getButton().addSelectionListener(this);
1233        
1234        
1235        makeNewEnableGroup("jop", "jop.ubf1");
1236        
1237        
1238        addToEnableGroup("jop", "jop.ubf1", getjopjop_ubf1enabled_widget(), "enabled");
1239        
1240        getjopjop_ubf1enabled_widget().getButton().addSelectionListener(this);
1241        
1242        
1243        makeNewEnableGroup("jop", "jop.uce2");
1244        
1245        
1246        addToEnableGroup("jop", "jop.uce2", getjopjop_uce2enabled_widget(), "enabled");
1247        
1248        addToEnableGroup("jop", "jop.uce2", getjopjop_uce2remove_unreachable_traps_widget(), "remove-unreachable-traps");
1249        
1250        getjopjop_uce2enabled_widget().getButton().addSelectionListener(this);
1251        
1252        getjopjop_uce2remove_unreachable_traps_widget().getButton().addSelectionListener(this);
1253        
1254        
1255        makeNewEnableGroup("jop", "jop.ubf2");
1256        
1257        
1258        addToEnableGroup("jop", "jop.ubf2", getjopjop_ubf2enabled_widget(), "enabled");
1259        
1260        getjopjop_ubf2enabled_widget().getButton().addSelectionListener(this);
1261        
1262        
1263        makeNewEnableGroup("jop", "jop.ule");
1264        
1265        
1266        addToEnableGroup("jop", "jop.ule", getjopjop_uleenabled_widget(), "enabled");
1267        
1268        getjopjop_uleenabled_widget().getButton().addSelectionListener(this);
1269        
1270        
1271        makeNewEnableGroup("jap");
1272        
1273        
1274        addToEnableGroup("jap", getjapenabled_widget(), "enabled");
1275        
1276        
1277        getjapenabled_widget().getButton().addSelectionListener(this);
1278        
1279        
1280        makeNewEnableGroup("jap", "jap.npc");
1281        
1282        
1283        addToEnableGroup("jap", "jap.npc", getjapjap_npcenabled_widget(), "enabled");
1284        
1285        addToEnableGroup("jap", "jap.npc", getjapjap_npconly_array_ref_widget(), "only-array-ref");
1286        
1287        addToEnableGroup("jap", "jap.npc", getjapjap_npcprofiling_widget(), "profiling");
1288        
1289        getjapjap_npcenabled_widget().getButton().addSelectionListener(this);
1290        
1291        getjapjap_npconly_array_ref_widget().getButton().addSelectionListener(this);
1292        
1293        getjapjap_npcprofiling_widget().getButton().addSelectionListener(this);
1294        
1295        
1296        makeNewEnableGroup("jap", "jap.npcolorer");
1297        
1298        
1299        addToEnableGroup("jap", "jap.npcolorer", getjapjap_npcolorerenabled_widget(), "enabled");
1300        
1301        getjapjap_npcolorerenabled_widget().getButton().addSelectionListener(this);
1302        
1303        
1304        makeNewEnableGroup("jap", "jap.abc");
1305        
1306        
1307        addToEnableGroup("jap", "jap.abc", getjapjap_abcenabled_widget(), "enabled");
1308        
1309        addToEnableGroup("jap", "jap.abc", getjapjap_abcwith_all_widget(), "with-all");
1310        
1311        addToEnableGroup("jap", "jap.abc", getjapjap_abcwith_cse_widget(), "with-cse");
1312        
1313        addToEnableGroup("jap", "jap.abc", getjapjap_abcwith_arrayref_widget(), "with-arrayref");
1314        
1315        addToEnableGroup("jap", "jap.abc", getjapjap_abcwith_fieldref_widget(), "with-fieldref");
1316        
1317        addToEnableGroup("jap", "jap.abc", getjapjap_abcwith_classfield_widget(), "with-classfield");
1318        
1319        addToEnableGroup("jap", "jap.abc", getjapjap_abcwith_rectarray_widget(), "with-rectarray");
1320        
1321        addToEnableGroup("jap", "jap.abc", getjapjap_abcprofiling_widget(), "profiling");
1322        
1323        addToEnableGroup("jap", "jap.abc", getjapjap_abcadd_color_tags_widget(), "add-color-tags");
1324        
1325        getjapjap_abcenabled_widget().getButton().addSelectionListener(this);
1326        
1327        getjapjap_abcwith_all_widget().getButton().addSelectionListener(this);
1328        
1329        getjapjap_abcwith_cse_widget().getButton().addSelectionListener(this);
1330        
1331        getjapjap_abcwith_arrayref_widget().getButton().addSelectionListener(this);
1332        
1333        getjapjap_abcwith_fieldref_widget().getButton().addSelectionListener(this);
1334        
1335        getjapjap_abcwith_classfield_widget().getButton().addSelectionListener(this);
1336        
1337        getjapjap_abcwith_rectarray_widget().getButton().addSelectionListener(this);
1338        
1339        getjapjap_abcprofiling_widget().getButton().addSelectionListener(this);
1340        
1341        getjapjap_abcadd_color_tags_widget().getButton().addSelectionListener(this);
1342        
1343        
1344        makeNewEnableGroup("jap", "jap.profiling");
1345        
1346        
1347        addToEnableGroup("jap", "jap.profiling", getjapjap_profilingenabled_widget(), "enabled");
1348        
1349        addToEnableGroup("jap", "jap.profiling", getjapjap_profilingnotmainentry_widget(), "notmainentry");
1350        
1351        getjapjap_profilingenabled_widget().getButton().addSelectionListener(this);
1352        
1353        getjapjap_profilingnotmainentry_widget().getButton().addSelectionListener(this);
1354        
1355        
1356        makeNewEnableGroup("jap", "jap.sea");
1357        
1358        
1359        addToEnableGroup("jap", "jap.sea", getjapjap_seaenabled_widget(), "enabled");
1360        
1361        addToEnableGroup("jap", "jap.sea", getjapjap_seanaive_widget(), "naive");
1362        
1363        getjapjap_seaenabled_widget().getButton().addSelectionListener(this);
1364        
1365        getjapjap_seanaive_widget().getButton().addSelectionListener(this);
1366        
1367        
1368        makeNewEnableGroup("jap", "jap.fieldrw");
1369        
1370        
1371        addToEnableGroup("jap", "jap.fieldrw", getjapjap_fieldrwenabled_widget(), "enabled");
1372        
1373        addToEnableGroup("jap", "jap.fieldrw", getjapjap_fieldrwthreshold_widget(), "threshold");
1374        
1375        getjapjap_fieldrwenabled_widget().getButton().addSelectionListener(this);
1376        
1377        
1378        makeNewEnableGroup("jap", "jap.cgtagger");
1379        
1380        
1381        addToEnableGroup("jap", "jap.cgtagger", getjapjap_cgtaggerenabled_widget(), "enabled");
1382        
1383        getjapjap_cgtaggerenabled_widget().getButton().addSelectionListener(this);
1384        
1385        
1386        makeNewEnableGroup("jap", "jap.parity");
1387        
1388        
1389        addToEnableGroup("jap", "jap.parity", getjapjap_parityenabled_widget(), "enabled");
1390        
1391        getjapjap_parityenabled_widget().getButton().addSelectionListener(this);
1392        
1393        
1394        makeNewEnableGroup("jap", "jap.pat");
1395        
1396        
1397        addToEnableGroup("jap", "jap.pat", getjapjap_patenabled_widget(), "enabled");
1398        
1399        getjapjap_patenabled_widget().getButton().addSelectionListener(this);
1400        
1401        
1402        makeNewEnableGroup("jap", "jap.lvtagger");
1403        
1404        
1405        addToEnableGroup("jap", "jap.lvtagger", getjapjap_lvtaggerenabled_widget(), "enabled");
1406        
1407        getjapjap_lvtaggerenabled_widget().getButton().addSelectionListener(this);
1408        
1409        
1410        makeNewEnableGroup("jap", "jap.rdtagger");
1411        
1412        
1413        addToEnableGroup("jap", "jap.rdtagger", getjapjap_rdtaggerenabled_widget(), "enabled");
1414        
1415        getjapjap_rdtaggerenabled_widget().getButton().addSelectionListener(this);
1416        
1417        
1418        makeNewEnableGroup("jap", "jap.che");
1419        
1420        
1421        addToEnableGroup("jap", "jap.che", getjapjap_cheenabled_widget(), "enabled");
1422        
1423        getjapjap_cheenabled_widget().getButton().addSelectionListener(this);
1424        
1425        
1426        makeNewEnableGroup("jap", "jap.umt");
1427        
1428        
1429        addToEnableGroup("jap", "jap.umt", getjapjap_umtenabled_widget(), "enabled");
1430        
1431        getjapjap_umtenabled_widget().getButton().addSelectionListener(this);
1432        
1433        
1434        makeNewEnableGroup("jap", "jap.lit");
1435        
1436        
1437        addToEnableGroup("jap", "jap.lit", getjapjap_litenabled_widget(), "enabled");
1438        
1439        getjapjap_litenabled_widget().getButton().addSelectionListener(this);
1440        
1441        
1442        makeNewEnableGroup("jap", "jap.aet");
1443        
1444        
1445        addToEnableGroup("jap", "jap.aet", getjapjap_aetenabled_widget(), "enabled");
1446        
1447        addToEnableGroup("jap", "jap.aet", getjapjap_aetkind_widget(), "kind");
1448        
1449        getjapjap_aetenabled_widget().getButton().addSelectionListener(this);
1450        
1451        
1452        makeNewEnableGroup("jap", "jap.dmt");
1453        
1454        
1455        addToEnableGroup("jap", "jap.dmt", getjapjap_dmtenabled_widget(), "enabled");
1456        
1457        getjapjap_dmtenabled_widget().getButton().addSelectionListener(this);
1458        
1459        
1460        makeNewEnableGroup("gb");
1461        
1462        
1463        addToEnableGroup("gb", getgbenabled_widget(), "enabled");
1464        
1465        
1466        getgbenabled_widget().getButton().addSelectionListener(this);
1467        
1468        
1469        makeNewEnableGroup("gb", "gb.a1");
1470        
1471        
1472        addToEnableGroup("gb", "gb.a1", getgbgb_a1enabled_widget(), "enabled");
1473        
1474        addToEnableGroup("gb", "gb.a1", getgbgb_a1only_stack_locals_widget(), "only-stack-locals");
1475        
1476        getgbgb_a1enabled_widget().getButton().addSelectionListener(this);
1477        
1478        getgbgb_a1only_stack_locals_widget().getButton().addSelectionListener(this);
1479        
1480        
1481        makeNewEnableGroup("gb", "gb.cf");
1482        
1483        
1484        addToEnableGroup("gb", "gb.cf", getgbgb_cfenabled_widget(), "enabled");
1485        
1486        getgbgb_cfenabled_widget().getButton().addSelectionListener(this);
1487        
1488        
1489        makeNewEnableGroup("gb", "gb.a2");
1490        
1491        
1492        addToEnableGroup("gb", "gb.a2", getgbgb_a2enabled_widget(), "enabled");
1493        
1494        addToEnableGroup("gb", "gb.a2", getgbgb_a2only_stack_locals_widget(), "only-stack-locals");
1495        
1496        getgbgb_a2enabled_widget().getButton().addSelectionListener(this);
1497        
1498        getgbgb_a2only_stack_locals_widget().getButton().addSelectionListener(this);
1499        
1500        
1501        makeNewEnableGroup("gb", "gb.ule");
1502        
1503        
1504        addToEnableGroup("gb", "gb.ule", getgbgb_uleenabled_widget(), "enabled");
1505        
1506        getgbgb_uleenabled_widget().getButton().addSelectionListener(this);
1507        
1508        
1509        makeNewEnableGroup("gop");
1510        
1511        
1512        addToEnableGroup("gop", getgopenabled_widget(), "enabled");
1513        
1514        
1515        getgopenabled_widget().getButton().addSelectionListener(this);
1516        
1517        
1518        makeNewEnableGroup("bb");
1519        
1520        
1521        addToEnableGroup("bb", getbbenabled_widget(), "enabled");
1522        
1523        
1524        getbbenabled_widget().getButton().addSelectionListener(this);
1525        
1526        
1527        makeNewEnableGroup("bb", "bb.lso");
1528        
1529        
1530        addToEnableGroup("bb", "bb.lso", getbbbb_lsoenabled_widget(), "enabled");
1531        
1532        addToEnableGroup("bb", "bb.lso", getbbbb_lsodebug_widget(), "debug");
1533        
1534        addToEnableGroup("bb", "bb.lso", getbbbb_lsointer_widget(), "inter");
1535        
1536        addToEnableGroup("bb", "bb.lso", getbbbb_lsosl_widget(), "sl");
1537        
1538        addToEnableGroup("bb", "bb.lso", getbbbb_lsosl2_widget(), "sl2");
1539        
1540        addToEnableGroup("bb", "bb.lso", getbbbb_lsosll_widget(), "sll");
1541        
1542        addToEnableGroup("bb", "bb.lso", getbbbb_lsosll2_widget(), "sll2");
1543        
1544        getbbbb_lsoenabled_widget().getButton().addSelectionListener(this);
1545        
1546        getbbbb_lsodebug_widget().getButton().addSelectionListener(this);
1547        
1548        getbbbb_lsointer_widget().getButton().addSelectionListener(this);
1549        
1550        getbbbb_lsosl_widget().getButton().addSelectionListener(this);
1551        
1552        getbbbb_lsosl2_widget().getButton().addSelectionListener(this);
1553        
1554        getbbbb_lsosll_widget().getButton().addSelectionListener(this);
1555        
1556        getbbbb_lsosll2_widget().getButton().addSelectionListener(this);
1557        
1558        
1559        makeNewEnableGroup("bb", "bb.pho");
1560        
1561        
1562        addToEnableGroup("bb", "bb.pho", getbbbb_phoenabled_widget(), "enabled");
1563        
1564        getbbbb_phoenabled_widget().getButton().addSelectionListener(this);
1565        
1566        
1567        makeNewEnableGroup("bb", "bb.ule");
1568        
1569        
1570        addToEnableGroup("bb", "bb.ule", getbbbb_uleenabled_widget(), "enabled");
1571        
1572        getbbbb_uleenabled_widget().getButton().addSelectionListener(this);
1573        
1574        
1575        makeNewEnableGroup("bb", "bb.lp");
1576        
1577        
1578        addToEnableGroup("bb", "bb.lp", getbbbb_lpenabled_widget(), "enabled");
1579        
1580        addToEnableGroup("bb", "bb.lp", getbbbb_lpunsplit_original_locals_widget(), "unsplit-original-locals");
1581        
1582        getbbbb_lpenabled_widget().getButton().addSelectionListener(this);
1583        
1584        getbbbb_lpunsplit_original_locals_widget().getButton().addSelectionListener(this);
1585        
1586        
1587        makeNewEnableGroup("bop");
1588        
1589        
1590        addToEnableGroup("bop", getbopenabled_widget(), "enabled");
1591        
1592        
1593        getbopenabled_widget().getButton().addSelectionListener(this);
1594        
1595        
1596        makeNewEnableGroup("tag");
1597        
1598        
1599        addToEnableGroup("tag", gettagenabled_widget(), "enabled");
1600        
1601        
1602        gettagenabled_widget().getButton().addSelectionListener(this);
1603        
1604        
1605        makeNewEnableGroup("tag", "tag.ln");
1606        
1607        
1608        addToEnableGroup("tag", "tag.ln", gettagtag_lnenabled_widget(), "enabled");
1609        
1610        gettagtag_lnenabled_widget().getButton().addSelectionListener(this);
1611        
1612        
1613        makeNewEnableGroup("tag", "tag.an");
1614        
1615        
1616        addToEnableGroup("tag", "tag.an", gettagtag_anenabled_widget(), "enabled");
1617        
1618        gettagtag_anenabled_widget().getButton().addSelectionListener(this);
1619        
1620        
1621        makeNewEnableGroup("tag", "tag.dep");
1622        
1623        
1624        addToEnableGroup("tag", "tag.dep", gettagtag_depenabled_widget(), "enabled");
1625        
1626        gettagtag_depenabled_widget().getButton().addSelectionListener(this);
1627        
1628        
1629        makeNewEnableGroup("tag", "tag.fieldrw");
1630        
1631        
1632        addToEnableGroup("tag", "tag.fieldrw", gettagtag_fieldrwenabled_widget(), "enabled");
1633        
1634        gettagtag_fieldrwenabled_widget().getButton().addSelectionListener(this);
1635        
1636        
1637        makeNewEnableGroup("db");
1638        
1639        
1640        addToEnableGroup("db", getdbenabled_widget(), "enabled");
1641        
1642        
1643        getdbenabled_widget().getButton().addSelectionListener(this);
1644        
1645        
1646        makeNewEnableGroup("db", "db.transformations");
1647        
1648        
1649        addToEnableGroup("db", "db.transformations", getdbdb_transformationsenabled_widget(), "enabled");
1650        
1651        getdbdb_transformationsenabled_widget().getButton().addSelectionListener(this);
1652        
1653        
1654        makeNewEnableGroup("db", "db.renamer");
1655        
1656        
1657        addToEnableGroup("db", "db.renamer", getdbdb_renamerenabled_widget(), "enabled");
1658        
1659        addToEnableGroup("db", "db.renamer", getdbdb_renamerremove_fully_qualified_widget(), "remove-fully-qualified");
1660        
1661        getdbdb_renamerenabled_widget().getButton().addSelectionListener(this);
1662        
1663        getdbdb_renamerremove_fully_qualified_widget().getButton().addSelectionListener(this);
1664        
1665        
1666        makeNewEnableGroup("db", "db.deobfuscate");
1667        
1668        
1669        addToEnableGroup("db", "db.deobfuscate", getdbdb_deobfuscateenabled_widget(), "enabled");
1670        
1671        getdbdb_deobfuscateenabled_widget().getButton().addSelectionListener(this);
1672        
1673        
1674        makeNewEnableGroup("db", "db.force-recompile");
1675        
1676        
1677        addToEnableGroup("db", "db.force-recompile", getdbdb_force_recompileenabled_widget(), "enabled");
1678        
1679        getdbdb_force_recompileenabled_widget().getButton().addSelectionListener(this);
1680        
1681
1682        updateAllEnableGroups();
1683    }
1684    
1685    public void widgetSelected(SelectionEvent e){
1686        handleWidgetSelected(e);
1687    }
1688
1689    public void widgetDefaultSelected(SelectionEvent e){
1690    }
1691    
1692    /**
1693     * all options get saved as <alias, value> pair
1694     */

1695    protected void okPressed() {
1696        createNewConfig();
1697        super.okPressed();
1698    }
1699
1700    private void createNewConfig() {
1701    
1702        setConfig(new HashMap());
1703        
1704        boolean boolRes = false;
1705        String JavaDoc stringRes = "";
1706        boolean defBoolRes = false;
1707        String JavaDoc defStringRes = "";
1708        StringTokenizer listOptTokens;
1709        String JavaDoc nextListToken;
1710    
1711        
1712        boolRes = getGeneral_Optionshelp_widget().getButton().getSelection();
1713        
1714        
1715        defBoolRes = false;
1716        
1717
1718        if (boolRes != defBoolRes) {
1719            getConfig().put(getGeneral_Optionshelp_widget().getAlias(), new Boolean JavaDoc(boolRes));
1720        }
1721        
1722        boolRes = getGeneral_Optionsphase_list_widget().getButton().getSelection();
1723        
1724        
1725        defBoolRes = false;
1726        
1727
1728        if (boolRes != defBoolRes) {
1729            getConfig().put(getGeneral_Optionsphase_list_widget().getAlias(), new Boolean JavaDoc(boolRes));
1730        }
1731        
1732        boolRes = getGeneral_Optionsversion_widget().getButton().getSelection();
1733        
1734        
1735        defBoolRes = false;
1736        
1737
1738        if (boolRes != defBoolRes) {
1739            getConfig().put(getGeneral_Optionsversion_widget().getAlias(), new Boolean JavaDoc(boolRes));
1740        }
1741        
1742        boolRes = getGeneral_Optionsverbose_widget().getButton().getSelection();
1743        
1744        
1745        defBoolRes = false;
1746        
1747
1748        if (boolRes != defBoolRes) {
1749            getConfig().put(getGeneral_Optionsverbose_widget().getAlias(), new Boolean JavaDoc(boolRes));
1750        }
1751        
1752        boolRes = getGeneral_Optionsinteractive_mode_widget().getButton().getSelection();
1753        
1754        
1755        defBoolRes = false;
1756        
1757
1758        if (boolRes != defBoolRes) {
1759            getConfig().put(getGeneral_Optionsinteractive_mode_widget().getAlias(), new Boolean JavaDoc(boolRes));
1760        }
1761        
1762        boolRes = getGeneral_Optionsapp_widget().getButton().getSelection();
1763        
1764        
1765        defBoolRes = false;
1766        
1767
1768        if (boolRes != defBoolRes) {
1769            getConfig().put(getGeneral_Optionsapp_widget().getAlias(), new Boolean JavaDoc(boolRes));
1770        }
1771        
1772        boolRes = getGeneral_Optionswhole_program_widget().getButton().getSelection();
1773        
1774        
1775        defBoolRes = false;
1776        
1777
1778        if (boolRes != defBoolRes) {
1779            getConfig().put(getGeneral_Optionswhole_program_widget().getAlias(), new Boolean JavaDoc(boolRes));
1780        }
1781        
1782        boolRes = getGeneral_Optionswhole_shimple_widget().getButton().getSelection();
1783        
1784        
1785        defBoolRes = false;
1786        
1787
1788        if (boolRes != defBoolRes) {
1789            getConfig().put(getGeneral_Optionswhole_shimple_widget().getAlias(), new Boolean JavaDoc(boolRes));
1790        }
1791        
1792        boolRes = getGeneral_Optionsvalidate_widget().getButton().getSelection();
1793        
1794        
1795        defBoolRes = false;
1796        
1797
1798        if (boolRes != defBoolRes) {
1799            getConfig().put(getGeneral_Optionsvalidate_widget().getAlias(), new Boolean JavaDoc(boolRes));
1800        }
1801        
1802        boolRes = getGeneral_Optionsdebug_widget().getButton().getSelection();
1803        
1804        
1805        defBoolRes = false;
1806        
1807
1808        if (boolRes != defBoolRes) {
1809            getConfig().put(getGeneral_Optionsdebug_widget().getAlias(), new Boolean JavaDoc(boolRes));
1810        }
1811        
1812        boolRes = getGeneral_Optionsdebug_resolver_widget().getButton().getSelection();
1813        
1814        
1815        defBoolRes = false;
1816        
1817
1818        if (boolRes != defBoolRes) {
1819            getConfig().put(getGeneral_Optionsdebug_resolver_widget().getAlias(), new Boolean JavaDoc(boolRes));
1820        }
1821        
1822        stringRes = getGeneral_Optionsphase_help_widget().getText().getText();
1823        
1824        defStringRes = "";
1825        
1826
1827            if ( (!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
1828            getConfig().put(getGeneral_Optionsphase_help_widget().getAlias(), stringRes);
1829        }
1830        
1831        boolRes = getInput_Optionsast_metrics_widget().getButton().getSelection();
1832        
1833        
1834        defBoolRes = false;
1835        
1836
1837        if (boolRes != defBoolRes) {
1838            getConfig().put(getInput_Optionsast_metrics_widget().getAlias(), new Boolean JavaDoc(boolRes));
1839        }
1840        
1841        boolRes = getInput_Optionsfull_resolver_widget().getButton().getSelection();
1842        
1843        
1844        defBoolRes = false;
1845        
1846
1847        if (boolRes != defBoolRes) {
1848            getConfig().put(getInput_Optionsfull_resolver_widget().getAlias(), new Boolean JavaDoc(boolRes));
1849        }
1850        
1851        boolRes = getInput_Optionsallow_phantom_refs_widget().getButton().getSelection();
1852        
1853        
1854        defBoolRes = false;
1855        
1856
1857        if (boolRes != defBoolRes) {
1858            getConfig().put(getInput_Optionsallow_phantom_refs_widget().getAlias(), new Boolean JavaDoc(boolRes));
1859        }
1860        
1861        boolRes = getInput_Optionsuse_old_type_assigner_widget().getButton().getSelection();
1862        
1863        
1864        defBoolRes = false;
1865        
1866
1867        if (boolRes != defBoolRes) {
1868            getConfig().put(getInput_Optionsuse_old_type_assigner_widget().getAlias(), new Boolean JavaDoc(boolRes));
1869        }
1870        
1871        stringRes = getInput_Optionssoot_classpath_widget().getText().getText();
1872        
1873        defStringRes = "";
1874        
1875
1876            if ( (!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
1877            getConfig().put(getInput_Optionssoot_classpath_widget().getAlias(), stringRes);
1878        }
1879        
1880        stringRes = getInput_Optionsprocess_dir_widget().getText().getText();
1881        
1882        defStringRes = "";
1883        
1884
1885            if ( (!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
1886            getConfig().put(getInput_Optionsprocess_dir_widget().getAlias(), stringRes);
1887        }
1888        
1889        stringRes = getInput_Optionsmain_class_widget().getText().getText();
1890        
1891        defStringRes = "";
1892        
1893
1894            if ( (!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
1895            getConfig().put(getInput_Optionsmain_class_widget().getAlias(), stringRes);
1896        }
1897         
1898        stringRes = getInput_Optionssrc_prec_widget().getSelectedAlias();
1899
1900        
1901        defStringRes = "c";
1902        
1903
1904        if (!stringRes.equals(defStringRes)) {
1905            getConfig().put(getInput_Optionssrc_prec_widget().getAlias(), stringRes);
1906        }
1907        
1908        boolRes = getOutput_Optionsoutput_jar_widget().getButton().getSelection();
1909        
1910        
1911        defBoolRes = false;
1912        
1913
1914        if (boolRes != defBoolRes) {
1915            getConfig().put(getOutput_Optionsoutput_jar_widget().getAlias(), new Boolean JavaDoc(boolRes));
1916        }
1917        
1918        boolRes = getOutput_Optionsxml_attributes_widget().getButton().getSelection();
1919        
1920        
1921        defBoolRes = false;
1922        
1923
1924        if (boolRes != defBoolRes) {
1925            getConfig().put(getOutput_Optionsxml_attributes_widget().getAlias(), new Boolean JavaDoc(boolRes));
1926        }
1927        
1928        boolRes = getOutput_Optionsprint_tags_in_output_widget().getButton().getSelection();
1929        
1930        
1931        defBoolRes = false;
1932        
1933
1934        if (boolRes != defBoolRes) {
1935            getConfig().put(getOutput_Optionsprint_tags_in_output_widget().getAlias(), new Boolean JavaDoc(boolRes));
1936        }
1937        
1938        boolRes = getOutput_Optionsno_output_source_file_attribute_widget().getButton().getSelection();
1939        
1940        
1941        defBoolRes = false;
1942        
1943
1944        if (boolRes != defBoolRes) {
1945            getConfig().put(getOutput_Optionsno_output_source_file_attribute_widget().getAlias(), new Boolean JavaDoc(boolRes));
1946        }
1947        
1948        boolRes = getOutput_Optionsno_output_inner_classes_attribute_widget().getButton().getSelection();
1949        
1950        
1951        defBoolRes = false;
1952        
1953
1954        if (boolRes != defBoolRes) {
1955            getConfig().put(getOutput_Optionsno_output_inner_classes_attribute_widget().getAlias(), new Boolean JavaDoc(boolRes));
1956        }
1957        
1958        boolRes = getOutput_Optionsshow_exception_dests_widget().getButton().getSelection();
1959        
1960        
1961        defBoolRes = true;
1962        
1963
1964        if (boolRes != defBoolRes) {
1965            getConfig().put(getOutput_Optionsshow_exception_dests_widget().getAlias(), new Boolean JavaDoc(boolRes));
1966        }
1967        
1968        boolRes = getOutput_Optionsgzip_widget().getButton().getSelection();
1969        
1970        
1971        defBoolRes = false;
1972        
1973
1974        if (boolRes != defBoolRes) {
1975            getConfig().put(getOutput_Optionsgzip_widget().getAlias(), new Boolean JavaDoc(boolRes));
1976        }
1977        
1978        stringRes = getOutput_Optionsoutput_dir_widget().getText().getText();
1979        
1980        defStringRes = "./sootOutput";
1981        
1982
1983            if ( (!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
1984            getConfig().put(getOutput_Optionsoutput_dir_widget().getAlias(), stringRes);
1985        }
1986        
1987        stringRes = getOutput_Optionsdump_body_widget().getText().getText();
1988        
1989        defStringRes = "";
1990        
1991
1992            if ( (!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
1993            getConfig().put(getOutput_Optionsdump_body_widget().getAlias(), stringRes);
1994        }
1995        
1996        stringRes = getOutput_Optionsdump_cfg_widget().getText().getText();
1997        
1998        defStringRes = "";
1999        
2000
2001            if ( (!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
2002            getConfig().put(getOutput_Optionsdump_cfg_widget().getAlias(), stringRes);
2003        }
2004         
2005        stringRes = getOutput_Optionsoutput_format_widget().getSelectedAlias();
2006
2007        
2008        defStringRes = "c";
2009        
2010
2011        if (!stringRes.equals(defStringRes)) {
2012            getConfig().put(getOutput_Optionsoutput_format_widget().getAlias(), stringRes);
2013        }
2014        
2015        boolRes = getProcessing_Optionsoptimize_widget().getButton().getSelection();
2016        
2017        
2018        defBoolRes = false;
2019        
2020
2021        if (boolRes != defBoolRes) {
2022            getConfig().put(getProcessing_Optionsoptimize_widget().getAlias(), new Boolean JavaDoc(boolRes));
2023        }
2024        
2025        boolRes = getProcessing_Optionswhole_optimize_widget().getButton().getSelection();
2026        
2027        
2028        defBoolRes = false;
2029        
2030
2031        if (boolRes != defBoolRes) {
2032            getConfig().put(getProcessing_Optionswhole_optimize_widget().getAlias(), new Boolean JavaDoc(boolRes));
2033        }
2034        
2035        boolRes = getProcessing_Optionsvia_grimp_widget().getButton().getSelection();
2036        
2037        
2038        defBoolRes = false;
2039        
2040
2041        if (boolRes != defBoolRes) {
2042            getConfig().put(getProcessing_Optionsvia_grimp_widget().getAlias(), new Boolean JavaDoc(boolRes));
2043        }
2044        
2045        boolRes = getProcessing_Optionsvia_shimple_widget().getButton().getSelection();
2046        
2047        
2048        defBoolRes = false;
2049        
2050
2051        if (boolRes != defBoolRes) {
2052            getConfig().put(getProcessing_Optionsvia_shimple_widget().getAlias(), new Boolean JavaDoc(boolRes));
2053        }
2054        
2055        boolRes = getProcessing_Optionsomit_excepting_unit_edges_widget().getButton().getSelection();
2056        
2057        
2058        defBoolRes = false;
2059        
2060
2061        if (boolRes != defBoolRes) {
2062            getConfig().put(getProcessing_Optionsomit_excepting_unit_edges_widget().getAlias(), new Boolean JavaDoc(boolRes));
2063        }
2064        
2065        boolRes = getProcessing_Optionstrim_cfgs_widget().getButton().getSelection();
2066        
2067        
2068        defBoolRes = false;
2069        
2070
2071        if (boolRes != defBoolRes) {
2072            getConfig().put(getProcessing_Optionstrim_cfgs_widget().getAlias(), new Boolean JavaDoc(boolRes));
2073        }
2074         
2075        stringRes = getProcessing_Optionsthrow_analysis_widget().getSelectedAlias();
2076
2077        
2078        defStringRes = "pedantic";
2079        
2080
2081        if (!stringRes.equals(defStringRes)) {
2082            getConfig().put(getProcessing_Optionsthrow_analysis_widget().getAlias(), stringRes);
2083        }
2084        
2085        boolRes = getjbenabled_widget().getButton().getSelection();
2086        
2087        
2088        defBoolRes = true;
2089        
2090
2091        if (boolRes != defBoolRes) {
2092            getConfig().put(getjbenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2093        }
2094        
2095        boolRes = getjbuse_original_names_widget().getButton().getSelection();
2096        
2097        
2098        defBoolRes = false;
2099        
2100
2101        if (boolRes != defBoolRes) {
2102            getConfig().put(getjbuse_original_names_widget().getAlias(), new Boolean JavaDoc(boolRes));
2103        }
2104        
2105        boolRes = getjbjb_lsenabled_widget().getButton().getSelection();
2106        
2107        
2108        defBoolRes = true;
2109        
2110
2111        if (boolRes != defBoolRes) {
2112            getConfig().put(getjbjb_lsenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2113        }
2114        
2115        boolRes = getjbjb_aenabled_widget().getButton().getSelection();
2116        
2117        
2118        defBoolRes = true;
2119        
2120
2121        if (boolRes != defBoolRes) {
2122            getConfig().put(getjbjb_aenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2123        }
2124        
2125        boolRes = getjbjb_aonly_stack_locals_widget().getButton().getSelection();
2126        
2127        
2128        defBoolRes = true;
2129        
2130
2131        if (boolRes != defBoolRes) {
2132            getConfig().put(getjbjb_aonly_stack_locals_widget().getAlias(), new Boolean JavaDoc(boolRes));
2133        }
2134        
2135        boolRes = getjbjb_uleenabled_widget().getButton().getSelection();
2136        
2137        
2138        defBoolRes = true;
2139        
2140
2141        if (boolRes != defBoolRes) {
2142            getConfig().put(getjbjb_uleenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2143        }
2144        
2145        boolRes = getjbjb_trenabled_widget().getButton().getSelection();
2146        
2147        
2148        defBoolRes = true;
2149        
2150
2151        if (boolRes != defBoolRes) {
2152            getConfig().put(getjbjb_trenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2153        }
2154        
2155        boolRes = getjbjb_ulpenabled_widget().getButton().getSelection();
2156        
2157        
2158        defBoolRes = true;
2159        
2160
2161        if (boolRes != defBoolRes) {
2162            getConfig().put(getjbjb_ulpenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2163        }
2164        
2165        boolRes = getjbjb_ulpunsplit_original_locals_widget().getButton().getSelection();
2166        
2167        
2168        defBoolRes = true;
2169        
2170
2171        if (boolRes != defBoolRes) {
2172            getConfig().put(getjbjb_ulpunsplit_original_locals_widget().getAlias(), new Boolean JavaDoc(boolRes));
2173        }
2174        
2175        boolRes = getjbjb_lnsenabled_widget().getButton().getSelection();
2176        
2177        
2178        defBoolRes = true;
2179        
2180
2181        if (boolRes != defBoolRes) {
2182            getConfig().put(getjbjb_lnsenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2183        }
2184        
2185        boolRes = getjbjb_lnsonly_stack_locals_widget().getButton().getSelection();
2186        
2187        
2188        defBoolRes = false;
2189        
2190
2191        if (boolRes != defBoolRes) {
2192            getConfig().put(getjbjb_lnsonly_stack_locals_widget().getAlias(), new Boolean JavaDoc(boolRes));
2193        }
2194        
2195        boolRes = getjbjb_cpenabled_widget().getButton().getSelection();
2196        
2197        
2198        defBoolRes = true;
2199        
2200
2201        if (boolRes != defBoolRes) {
2202            getConfig().put(getjbjb_cpenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2203        }
2204        
2205        boolRes = getjbjb_cponly_regular_locals_widget().getButton().getSelection();
2206        
2207        
2208        defBoolRes = false;
2209        
2210
2211        if (boolRes != defBoolRes) {
2212            getConfig().put(getjbjb_cponly_regular_locals_widget().getAlias(), new Boolean JavaDoc(boolRes));
2213        }
2214        
2215        boolRes = getjbjb_cponly_stack_locals_widget().getButton().getSelection();
2216        
2217        
2218        defBoolRes = true;
2219        
2220
2221        if (boolRes != defBoolRes) {
2222            getConfig().put(getjbjb_cponly_stack_locals_widget().getAlias(), new Boolean JavaDoc(boolRes));
2223        }
2224        
2225        boolRes = getjbjb_daeenabled_widget().getButton().getSelection();
2226        
2227        
2228        defBoolRes = true;
2229        
2230
2231        if (boolRes != defBoolRes) {
2232            getConfig().put(getjbjb_daeenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2233        }
2234        
2235        boolRes = getjbjb_daeonly_stack_locals_widget().getButton().getSelection();
2236        
2237        
2238        defBoolRes = true;
2239        
2240
2241        if (boolRes != defBoolRes) {
2242            getConfig().put(getjbjb_daeonly_stack_locals_widget().getAlias(), new Boolean JavaDoc(boolRes));
2243        }
2244        
2245        boolRes = getjbjb_cp_uleenabled_widget().getButton().getSelection();
2246        
2247        
2248        defBoolRes = true;
2249        
2250
2251        if (boolRes != defBoolRes) {
2252            getConfig().put(getjbjb_cp_uleenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2253        }
2254        
2255        boolRes = getjbjb_lpenabled_widget().getButton().getSelection();
2256        
2257        
2258        defBoolRes = false;
2259        
2260
2261        if (boolRes != defBoolRes) {
2262            getConfig().put(getjbjb_lpenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2263        }
2264        
2265        boolRes = getjbjb_lpunsplit_original_locals_widget().getButton().getSelection();
2266        
2267        
2268        defBoolRes = false;
2269        
2270
2271        if (boolRes != defBoolRes) {
2272            getConfig().put(getjbjb_lpunsplit_original_locals_widget().getAlias(), new Boolean JavaDoc(boolRes));
2273        }
2274        
2275        boolRes = getjbjb_neenabled_widget().getButton().getSelection();
2276        
2277        
2278        defBoolRes = true;
2279        
2280
2281        if (boolRes != defBoolRes) {
2282            getConfig().put(getjbjb_neenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2283        }
2284        
2285        boolRes = getjbjb_uceenabled_widget().getButton().getSelection();
2286        
2287        
2288        defBoolRes = true;
2289        
2290
2291        if (boolRes != defBoolRes) {
2292            getConfig().put(getjbjb_uceenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2293        }
2294        
2295        boolRes = getjbjb_uceremove_unreachable_traps_widget().getButton().getSelection();
2296        
2297        
2298        defBoolRes = false;
2299        
2300
2301        if (boolRes != defBoolRes) {
2302            getConfig().put(getjbjb_uceremove_unreachable_traps_widget().getAlias(), new Boolean JavaDoc(boolRes));
2303        }
2304        
2305        boolRes = getjbjb_ttenabled_widget().getButton().getSelection();
2306        
2307        
2308        defBoolRes = false;
2309        
2310
2311        if (boolRes != defBoolRes) {
2312            getConfig().put(getjbjb_ttenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2313        }
2314        
2315        boolRes = getjjenabled_widget().getButton().getSelection();
2316        
2317        
2318        defBoolRes = true;
2319        
2320
2321        if (boolRes != defBoolRes) {
2322            getConfig().put(getjjenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2323        }
2324        
2325        boolRes = getjjuse_original_names_widget().getButton().getSelection();
2326        
2327        
2328        defBoolRes = true;
2329        
2330
2331        if (boolRes != defBoolRes) {
2332            getConfig().put(getjjuse_original_names_widget().getAlias(), new Boolean JavaDoc(boolRes));
2333        }
2334        
2335        boolRes = getjjjj_lsenabled_widget().getButton().getSelection();
2336        
2337        
2338        defBoolRes = false;
2339        
2340
2341        if (boolRes != defBoolRes) {
2342            getConfig().put(getjjjj_lsenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2343        }
2344        
2345        boolRes = getjjjj_aenabled_widget().getButton().getSelection();
2346        
2347        
2348        defBoolRes = true;
2349        
2350
2351        if (boolRes != defBoolRes) {
2352            getConfig().put(getjjjj_aenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2353        }
2354        
2355        boolRes = getjjjj_aonly_stack_locals_widget().getButton().getSelection();
2356        
2357        
2358        defBoolRes = true;
2359        
2360
2361        if (boolRes != defBoolRes) {
2362            getConfig().put(getjjjj_aonly_stack_locals_widget().getAlias(), new Boolean JavaDoc(boolRes));
2363        }
2364        
2365        boolRes = getjjjj_uleenabled_widget().getButton().getSelection();
2366        
2367        
2368        defBoolRes = true;
2369        
2370
2371        if (boolRes != defBoolRes) {
2372            getConfig().put(getjjjj_uleenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2373        }
2374        
2375        boolRes = getjjjj_trenabled_widget().getButton().getSelection();
2376        
2377        
2378        defBoolRes = false;
2379        
2380
2381        if (boolRes != defBoolRes) {
2382            getConfig().put(getjjjj_trenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2383        }
2384        
2385        boolRes = getjjjj_ulpenabled_widget().getButton().getSelection();
2386        
2387        
2388        defBoolRes = false;
2389        
2390
2391        if (boolRes != defBoolRes) {
2392            getConfig().put(getjjjj_ulpenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2393        }
2394        
2395        boolRes = getjjjj_ulpunsplit_original_locals_widget().getButton().getSelection();
2396        
2397        
2398        defBoolRes = false;
2399        
2400
2401        if (boolRes != defBoolRes) {
2402            getConfig().put(getjjjj_ulpunsplit_original_locals_widget().getAlias(), new Boolean JavaDoc(boolRes));
2403        }
2404        
2405        boolRes = getjjjj_lnsenabled_widget().getButton().getSelection();
2406        
2407        
2408        defBoolRes = true;
2409        
2410
2411        if (boolRes != defBoolRes) {
2412            getConfig().put(getjjjj_lnsenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2413        }
2414        
2415        boolRes = getjjjj_lnsonly_stack_locals_widget().getButton().getSelection();
2416        
2417        
2418        defBoolRes = false;
2419        
2420
2421        if (boolRes != defBoolRes) {
2422            getConfig().put(getjjjj_lnsonly_stack_locals_widget().getAlias(), new Boolean JavaDoc(boolRes));
2423        }
2424        
2425        boolRes = getjjjj_cpenabled_widget().getButton().getSelection();
2426        
2427        
2428        defBoolRes = true;
2429        
2430
2431        if (boolRes != defBoolRes) {
2432            getConfig().put(getjjjj_cpenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2433        }
2434        
2435        boolRes = getjjjj_cponly_regular_locals_widget().getButton().getSelection();
2436        
2437        
2438        defBoolRes = false;
2439        
2440
2441        if (boolRes != defBoolRes) {
2442            getConfig().put(getjjjj_cponly_regular_locals_widget().getAlias(), new Boolean JavaDoc(boolRes));
2443        }
2444        
2445        boolRes = getjjjj_cponly_stack_locals_widget().getButton().getSelection();
2446        
2447        
2448        defBoolRes = true;
2449        
2450
2451        if (boolRes != defBoolRes) {
2452            getConfig().put(getjjjj_cponly_stack_locals_widget().getAlias(), new Boolean JavaDoc(boolRes));
2453        }
2454        
2455        boolRes = getjjjj_daeenabled_widget().getButton().getSelection();
2456        
2457        
2458        defBoolRes = true;
2459        
2460
2461        if (boolRes != defBoolRes) {
2462            getConfig().put(getjjjj_daeenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2463        }
2464        
2465        boolRes = getjjjj_daeonly_stack_locals_widget().getButton().getSelection();
2466        
2467        
2468        defBoolRes = true;
2469        
2470
2471        if (boolRes != defBoolRes) {
2472            getConfig().put(getjjjj_daeonly_stack_locals_widget().getAlias(), new Boolean JavaDoc(boolRes));
2473        }
2474        
2475        boolRes = getjjjj_cp_uleenabled_widget().getButton().getSelection();
2476        
2477        
2478        defBoolRes = true;
2479        
2480
2481        if (boolRes != defBoolRes) {
2482            getConfig().put(getjjjj_cp_uleenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2483        }
2484        
2485        boolRes = getjjjj_lpenabled_widget().getButton().getSelection();
2486        
2487        
2488        defBoolRes = false;
2489        
2490
2491        if (boolRes != defBoolRes) {
2492            getConfig().put(getjjjj_lpenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2493        }
2494        
2495        boolRes = getjjjj_lpunsplit_original_locals_widget().getButton().getSelection();
2496        
2497        
2498        defBoolRes = false;
2499        
2500
2501        if (boolRes != defBoolRes) {
2502            getConfig().put(getjjjj_lpunsplit_original_locals_widget().getAlias(), new Boolean JavaDoc(boolRes));
2503        }
2504        
2505        boolRes = getjjjj_neenabled_widget().getButton().getSelection();
2506        
2507        
2508        defBoolRes = true;
2509        
2510
2511        if (boolRes != defBoolRes) {
2512            getConfig().put(getjjjj_neenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2513        }
2514        
2515        boolRes = getjjjj_uceenabled_widget().getButton().getSelection();
2516        
2517        
2518        defBoolRes = true;
2519        
2520
2521        if (boolRes != defBoolRes) {
2522            getConfig().put(getjjjj_uceenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2523        }
2524        
2525        boolRes = getcgenabled_widget().getButton().getSelection();
2526        
2527        
2528        defBoolRes = true;
2529        
2530
2531        if (boolRes != defBoolRes) {
2532            getConfig().put(getcgenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2533        }
2534        
2535        boolRes = getcgsafe_forname_widget().getButton().getSelection();
2536        
2537        
2538        defBoolRes = false;
2539        
2540
2541        if (boolRes != defBoolRes) {
2542            getConfig().put(getcgsafe_forname_widget().getAlias(), new Boolean JavaDoc(boolRes));
2543        }
2544        
2545        boolRes = getcgsafe_newinstance_widget().getButton().getSelection();
2546        
2547        
2548        defBoolRes = false;
2549        
2550
2551        if (boolRes != defBoolRes) {
2552            getConfig().put(getcgsafe_newinstance_widget().getAlias(), new Boolean JavaDoc(boolRes));
2553        }
2554        
2555        boolRes = getcgverbose_widget().getButton().getSelection();
2556        
2557        
2558        defBoolRes = false;
2559        
2560
2561        if (boolRes != defBoolRes) {
2562            getConfig().put(getcgverbose_widget().getAlias(), new Boolean JavaDoc(boolRes));
2563        }
2564        
2565        boolRes = getcgall_reachable_widget().getButton().getSelection();
2566        
2567        
2568        defBoolRes = false;
2569        
2570
2571        if (boolRes != defBoolRes) {
2572            getConfig().put(getcgall_reachable_widget().getAlias(), new Boolean JavaDoc(boolRes));
2573        }
2574        
2575        boolRes = getcgimplicit_entry_widget().getButton().getSelection();
2576        
2577        
2578        defBoolRes = true;
2579        
2580
2581        if (boolRes != defBoolRes) {
2582            getConfig().put(getcgimplicit_entry_widget().getAlias(), new Boolean JavaDoc(boolRes));
2583        }
2584        
2585        boolRes = getcgtrim_clinit_widget().getButton().getSelection();
2586        
2587        
2588        defBoolRes = true;
2589        
2590
2591        if (boolRes != defBoolRes) {
2592            getConfig().put(getcgtrim_clinit_widget().getAlias(), new Boolean JavaDoc(boolRes));
2593        }
2594        
2595        stringRes = getcgjdkver_widget().getText().getText();
2596        
2597        defStringRes = "3";
2598        
2599
2600            if ( (!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
2601            getConfig().put(getcgjdkver_widget().getAlias(), stringRes);
2602        }
2603        
2604        boolRes = getcgcg_chaenabled_widget().getButton().getSelection();
2605        
2606        
2607        defBoolRes = true;
2608        
2609
2610        if (boolRes != defBoolRes) {
2611            getConfig().put(getcgcg_chaenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2612        }
2613        
2614        boolRes = getcgcg_chaverbose_widget().getButton().getSelection();
2615        
2616        
2617        defBoolRes = false;
2618        
2619
2620        if (boolRes != defBoolRes) {
2621            getConfig().put(getcgcg_chaverbose_widget().getAlias(), new Boolean JavaDoc(boolRes));
2622        }
2623        
2624        boolRes = getcgcg_sparkenabled_widget().getButton().getSelection();
2625        
2626        
2627        defBoolRes = false;
2628        
2629
2630        if (boolRes != defBoolRes) {
2631            getConfig().put(getcgcg_sparkenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2632        }
2633        
2634        boolRes = getcgcg_sparkverbose_widget().getButton().getSelection();
2635        
2636        
2637        defBoolRes = false;
2638        
2639
2640        if (boolRes != defBoolRes) {
2641            getConfig().put(getcgcg_sparkverbose_widget().getAlias(), new Boolean JavaDoc(boolRes));
2642        }
2643        
2644        boolRes = getcgcg_sparkignore_types_widget().getButton().getSelection();
2645        
2646        
2647        defBoolRes = false;
2648        
2649
2650        if (boolRes != defBoolRes) {
2651            getConfig().put(getcgcg_sparkignore_types_widget().getAlias(), new Boolean JavaDoc(boolRes));
2652        }
2653        
2654        boolRes = getcgcg_sparkforce_gc_widget().getButton().getSelection();
2655        
2656        
2657        defBoolRes = false;
2658        
2659
2660        if (boolRes != defBoolRes) {
2661            getConfig().put(getcgcg_sparkforce_gc_widget().getAlias(), new Boolean JavaDoc(boolRes));
2662        }
2663        
2664        boolRes = getcgcg_sparkpre_jimplify_widget().getButton().getSelection();
2665        
2666        
2667        defBoolRes = false;
2668        
2669
2670        if (boolRes != defBoolRes) {
2671            getConfig().put(getcgcg_sparkpre_jimplify_widget().getAlias(), new Boolean JavaDoc(boolRes));
2672        }
2673        
2674        boolRes = getcgcg_sparkvta_widget().getButton().getSelection();
2675        
2676        
2677        defBoolRes = false;
2678        
2679
2680        if (boolRes != defBoolRes) {
2681            getConfig().put(getcgcg_sparkvta_widget().getAlias(), new Boolean JavaDoc(boolRes));
2682        }
2683        
2684        boolRes = getcgcg_sparkrta_widget().getButton().getSelection();
2685        
2686        
2687        defBoolRes = false;
2688        
2689
2690        if (boolRes != defBoolRes) {
2691            getConfig().put(getcgcg_sparkrta_widget().getAlias(), new Boolean JavaDoc(boolRes));
2692        }
2693        
2694        boolRes = getcgcg_sparkfield_based_widget().getButton().getSelection();
2695        
2696        
2697        defBoolRes = false;
2698        
2699
2700        if (boolRes != defBoolRes) {
2701            getConfig().put(getcgcg_sparkfield_based_widget().getAlias(), new Boolean JavaDoc(boolRes));
2702        }
2703        
2704        boolRes = getcgcg_sparktypes_for_sites_widget().getButton().getSelection();
2705        
2706        
2707        defBoolRes = false;
2708        
2709
2710        if (boolRes != defBoolRes) {
2711            getConfig().put(getcgcg_sparktypes_for_sites_widget().getAlias(), new Boolean JavaDoc(boolRes));
2712        }
2713        
2714        boolRes = getcgcg_sparkmerge_stringbuffer_widget().getButton().getSelection();
2715        
2716        
2717        defBoolRes = true;
2718        
2719
2720        if (boolRes != defBoolRes) {
2721            getConfig().put(getcgcg_sparkmerge_stringbuffer_widget().getAlias(), new Boolean JavaDoc(boolRes));
2722        }
2723        
2724        boolRes = getcgcg_sparkstring_constants_widget().getButton().getSelection();
2725        
2726        
2727        defBoolRes = false;
2728        
2729
2730        if (boolRes != defBoolRes) {
2731            getConfig().put(getcgcg_sparkstring_constants_widget().getAlias(), new Boolean JavaDoc(boolRes));
2732        }
2733        
2734        boolRes = getcgcg_sparksimulate_natives_widget().getButton().getSelection();
2735        
2736        
2737        defBoolRes = true;
2738        
2739
2740        if (boolRes != defBoolRes) {
2741            getConfig().put(getcgcg_sparksimulate_natives_widget().getAlias(), new Boolean JavaDoc(boolRes));
2742        }
2743        
2744        boolRes = getcgcg_sparksimple_edges_bidirectional_widget().getButton().getSelection();
2745        
2746        
2747        defBoolRes = false;
2748        
2749
2750        if (boolRes != defBoolRes) {
2751            getConfig().put(getcgcg_sparksimple_edges_bidirectional_widget().getAlias(), new Boolean JavaDoc(boolRes));
2752        }
2753        
2754        boolRes = getcgcg_sparkon_fly_cg_widget().getButton().getSelection();
2755        
2756        
2757        defBoolRes = true;
2758        
2759
2760        if (boolRes != defBoolRes) {
2761            getConfig().put(getcgcg_sparkon_fly_cg_widget().getAlias(), new Boolean JavaDoc(boolRes));
2762        }
2763        
2764        boolRes = getcgcg_sparksimplify_offline_widget().getButton().getSelection();
2765        
2766        
2767        defBoolRes = false;
2768        
2769
2770        if (boolRes != defBoolRes) {
2771            getConfig().put(getcgcg_sparksimplify_offline_widget().getAlias(), new Boolean JavaDoc(boolRes));
2772        }
2773        
2774        boolRes = getcgcg_sparksimplify_sccs_widget().getButton().getSelection();
2775        
2776        
2777        defBoolRes = false;
2778        
2779
2780        if (boolRes != defBoolRes) {
2781            getConfig().put(getcgcg_sparksimplify_sccs_widget().getAlias(), new Boolean JavaDoc(boolRes));
2782        }
2783        
2784        boolRes = getcgcg_sparkignore_types_for_sccs_widget().getButton().getSelection();
2785        
2786        
2787        defBoolRes = false;
2788        
2789
2790        if (boolRes != defBoolRes) {
2791            getConfig().put(getcgcg_sparkignore_types_for_sccs_widget().getAlias(), new Boolean JavaDoc(boolRes));
2792        }
2793         
2794        stringRes = getcgcg_sparkpropagator_widget().getSelectedAlias();
2795
2796        
2797        defStringRes = "worklist";
2798        
2799
2800        if (!stringRes.equals(defStringRes)) {
2801            getConfig().put(getcgcg_sparkpropagator_widget().getAlias(), stringRes);
2802        }
2803         
2804        stringRes = getcgcg_sparkset_impl_widget().getSelectedAlias();
2805
2806        
2807        defStringRes = "double";
2808        
2809
2810        if (!stringRes.equals(defStringRes)) {
2811            getConfig().put(getcgcg_sparkset_impl_widget().getAlias(), stringRes);
2812        }
2813         
2814        stringRes = getcgcg_sparkdouble_set_old_widget().getSelectedAlias();
2815
2816        
2817        defStringRes = "hybrid";
2818        
2819
2820        if (!stringRes.equals(defStringRes)) {
2821            getConfig().put(getcgcg_sparkdouble_set_old_widget().getAlias(), stringRes);
2822        }
2823         
2824        stringRes = getcgcg_sparkdouble_set_new_widget().getSelectedAlias();
2825
2826        
2827        defStringRes = "hybrid";
2828        
2829
2830        if (!stringRes.equals(defStringRes)) {
2831            getConfig().put(getcgcg_sparkdouble_set_new_widget().getAlias(), stringRes);
2832        }
2833        
2834        boolRes = getcgcg_sparkdump_html_widget().getButton().getSelection();
2835        
2836        
2837        defBoolRes = false;
2838        
2839
2840        if (boolRes != defBoolRes) {
2841            getConfig().put(getcgcg_sparkdump_html_widget().getAlias(), new Boolean JavaDoc(boolRes));
2842        }
2843        
2844        boolRes = getcgcg_sparkdump_pag_widget().getButton().getSelection();
2845        
2846        
2847        defBoolRes = false;
2848        
2849
2850        if (boolRes != defBoolRes) {
2851            getConfig().put(getcgcg_sparkdump_pag_widget().getAlias(), new Boolean JavaDoc(boolRes));
2852        }
2853        
2854        boolRes = getcgcg_sparkdump_solution_widget().getButton().getSelection();
2855        
2856        
2857        defBoolRes = false;
2858        
2859
2860        if (boolRes != defBoolRes) {
2861            getConfig().put(getcgcg_sparkdump_solution_widget().getAlias(), new Boolean JavaDoc(boolRes));
2862        }
2863        
2864        boolRes = getcgcg_sparktopo_sort_widget().getButton().getSelection();
2865        
2866        
2867        defBoolRes = false;
2868        
2869
2870        if (boolRes != defBoolRes) {
2871            getConfig().put(getcgcg_sparktopo_sort_widget().getAlias(), new Boolean JavaDoc(boolRes));
2872        }
2873        
2874        boolRes = getcgcg_sparkdump_types_widget().getButton().getSelection();
2875        
2876        
2877        defBoolRes = true;
2878        
2879
2880        if (boolRes != defBoolRes) {
2881            getConfig().put(getcgcg_sparkdump_types_widget().getAlias(), new Boolean JavaDoc(boolRes));
2882        }
2883        
2884        boolRes = getcgcg_sparkclass_method_var_widget().getButton().getSelection();
2885        
2886        
2887        defBoolRes = true;
2888        
2889
2890        if (boolRes != defBoolRes) {
2891            getConfig().put(getcgcg_sparkclass_method_var_widget().getAlias(), new Boolean JavaDoc(boolRes));
2892        }
2893        
2894        boolRes = getcgcg_sparkdump_answer_widget().getButton().getSelection();
2895        
2896        
2897        defBoolRes = false;
2898        
2899
2900        if (boolRes != defBoolRes) {
2901            getConfig().put(getcgcg_sparkdump_answer_widget().getAlias(), new Boolean JavaDoc(boolRes));
2902        }
2903        
2904        boolRes = getcgcg_sparkadd_tags_widget().getButton().getSelection();
2905        
2906        
2907        defBoolRes = false;
2908        
2909
2910        if (boolRes != defBoolRes) {
2911            getConfig().put(getcgcg_sparkadd_tags_widget().getAlias(), new Boolean JavaDoc(boolRes));
2912        }
2913        
2914        boolRes = getcgcg_sparkset_mass_widget().getButton().getSelection();
2915        
2916        
2917        defBoolRes = false;
2918        
2919
2920        if (boolRes != defBoolRes) {
2921            getConfig().put(getcgcg_sparkset_mass_widget().getAlias(), new Boolean JavaDoc(boolRes));
2922        }
2923        
2924        boolRes = getcgcg_paddleenabled_widget().getButton().getSelection();
2925        
2926        
2927        defBoolRes = false;
2928        
2929
2930        if (boolRes != defBoolRes) {
2931            getConfig().put(getcgcg_paddleenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
2932        }
2933        
2934        boolRes = getcgcg_paddleverbose_widget().getButton().getSelection();
2935        
2936        
2937        defBoolRes = false;
2938        
2939
2940        if (boolRes != defBoolRes) {
2941            getConfig().put(getcgcg_paddleverbose_widget().getAlias(), new Boolean JavaDoc(boolRes));
2942        }
2943        
2944        boolRes = getcgcg_paddlebdd_widget().getButton().getSelection();
2945        
2946        
2947        defBoolRes = false;
2948        
2949
2950        if (boolRes != defBoolRes) {
2951            getConfig().put(getcgcg_paddlebdd_widget().getAlias(), new Boolean JavaDoc(boolRes));
2952        }
2953        
2954        boolRes = getcgcg_paddledynamic_order_widget().getButton().getSelection();
2955        
2956        
2957        defBoolRes = false;
2958        
2959
2960        if (boolRes != defBoolRes) {
2961            getConfig().put(getcgcg_paddledynamic_order_widget().getAlias(), new Boolean JavaDoc(boolRes));
2962        }
2963        
2964        boolRes = getcgcg_paddleprofile_widget().getButton().getSelection();
2965        
2966        
2967        defBoolRes = false;
2968        
2969
2970        if (boolRes != defBoolRes) {
2971            getConfig().put(getcgcg_paddleprofile_widget().getAlias(), new Boolean JavaDoc(boolRes));
2972        }
2973        
2974        boolRes = getcgcg_paddleignore_types_widget().getButton().getSelection();
2975        
2976        
2977        defBoolRes = false;
2978        
2979
2980        if (boolRes != defBoolRes) {
2981            getConfig().put(getcgcg_paddleignore_types_widget().getAlias(), new Boolean JavaDoc(boolRes));
2982        }
2983        
2984        boolRes = getcgcg_paddlepre_jimplify_widget().getButton().getSelection();
2985        
2986        
2987        defBoolRes = false;
2988        
2989
2990        if (boolRes != defBoolRes) {
2991            getConfig().put(getcgcg_paddlepre_jimplify_widget().getAlias(), new Boolean JavaDoc(boolRes));
2992        }
2993        
2994        stringRes = getcgcg_paddleorder_widget().getText().getText();
2995        
2996        defStringRes = "32";
2997        
2998
2999            if ( (!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
3000            getConfig().put(getcgcg_paddleorder_widget().getAlias(), stringRes);
3001        }
3002         
3003        stringRes = getcgcg_paddleconf_widget().getSelectedAlias();
3004
3005        
3006        defStringRes = "ofcg";
3007        
3008
3009        if (!stringRes.equals(defStringRes)) {
3010            getConfig().put(getcgcg_paddleconf_widget().getAlias(), stringRes);
3011        }
3012         
3013        stringRes = getcgcg_paddleq_widget().getSelectedAlias();
3014
3015        
3016        defStringRes = "auto";
3017        
3018
3019        if (!stringRes.equals(defStringRes)) {
3020            getConfig().put(getcgcg_paddleq_widget().getAlias(), stringRes);
3021        }
3022         
3023        stringRes = getcgcg_paddlebackend_widget().getSelectedAlias();
3024
3025        
3026        defStringRes = "buddy";
3027        
3028
3029        if (!stringRes.equals(defStringRes)) {
3030            getConfig().put(getcgcg_paddlebackend_widget().getAlias(), stringRes);
3031        }
3032        
3033        boolRes = getcgcg_paddlecontext_heap_widget().getButton().getSelection();
3034        
3035        
3036        defBoolRes = false;
3037        
3038
3039        if (boolRes != defBoolRes) {
3040            getConfig().put(getcgcg_paddlecontext_heap_widget().getAlias(), new Boolean JavaDoc(boolRes));
3041        }
3042        
3043        stringRes = getcgcg_paddlek_widget().getText().getText();
3044        
3045        defStringRes = "2";
3046        
3047
3048            if ( (!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
3049            getConfig().put(getcgcg_paddlek_widget().getAlias(), stringRes);
3050        }
3051         
3052        stringRes = getcgcg_paddlecontext_widget().getSelectedAlias();
3053
3054        
3055        defStringRes = "insens";
3056        
3057
3058        if (!stringRes.equals(defStringRes)) {
3059            getConfig().put(getcgcg_paddlecontext_widget().getAlias(), stringRes);
3060        }
3061        
3062        boolRes = getcgcg_paddlerta_widget().getButton().getSelection();
3063        
3064        
3065        defBoolRes = false;
3066        
3067
3068        if (boolRes != defBoolRes) {
3069            getConfig().put(getcgcg_paddlerta_widget().getAlias(), new Boolean JavaDoc(boolRes));
3070        }
3071        
3072        boolRes = getcgcg_paddlefield_based_widget().getButton().getSelection();
3073        
3074        
3075        defBoolRes = false;
3076        
3077
3078        if (boolRes != defBoolRes) {
3079            getConfig().put(getcgcg_paddlefield_based_widget().getAlias(), new Boolean JavaDoc(boolRes));
3080        }
3081        
3082        boolRes = getcgcg_paddletypes_for_sites_widget().getButton().getSelection();
3083        
3084        
3085        defBoolRes = false;
3086        
3087
3088        if (boolRes != defBoolRes) {
3089            getConfig().put(getcgcg_paddletypes_for_sites_widget().getAlias(), new Boolean JavaDoc(boolRes));
3090        }
3091        
3092        boolRes = getcgcg_paddlemerge_stringbuffer_widget().getButton().getSelection();
3093        
3094        
3095        defBoolRes = true;
3096        
3097
3098        if (boolRes != defBoolRes) {
3099            getConfig().put(getcgcg_paddlemerge_stringbuffer_widget().getAlias(), new Boolean JavaDoc(boolRes));
3100        }
3101        
3102        boolRes = getcgcg_paddlestring_constants_widget().getButton().getSelection();
3103        
3104        
3105        defBoolRes = false;
3106        
3107
3108        if (boolRes != defBoolRes) {
3109            getConfig().put(getcgcg_paddlestring_constants_widget().getAlias(), new Boolean JavaDoc(boolRes));
3110        }
3111        
3112        boolRes = getcgcg_paddlesimulate_natives_widget().getButton().getSelection();
3113        
3114        
3115        defBoolRes = true;
3116        
3117
3118        if (boolRes != defBoolRes) {
3119            getConfig().put(getcgcg_paddlesimulate_natives_widget().getAlias(), new Boolean JavaDoc(boolRes));
3120        }
3121        
3122        boolRes = getcgcg_paddleglobal_nodes_in_natives_widget().getButton().getSelection();
3123        
3124        
3125        defBoolRes = false;
3126        
3127
3128        if (boolRes != defBoolRes) {
3129            getConfig().put(getcgcg_paddleglobal_nodes_in_natives_widget().getAlias(), new Boolean JavaDoc(boolRes));
3130        }
3131        
3132        boolRes = getcgcg_paddlesimple_edges_bidirectional_widget().getButton().getSelection();
3133        
3134        
3135        defBoolRes = false;
3136        
3137
3138        if (boolRes != defBoolRes) {
3139            getConfig().put(getcgcg_paddlesimple_edges_bidirectional_widget().getAlias(), new Boolean JavaDoc(boolRes));
3140        }
3141        
3142        boolRes = getcgcg_paddlethis_edges_widget().getButton().getSelection();
3143        
3144        
3145        defBoolRes = false;
3146        
3147
3148        if (boolRes != defBoolRes) {
3149            getConfig().put(getcgcg_paddlethis_edges_widget().getAlias(), new Boolean JavaDoc(boolRes));
3150        }
3151        
3152        boolRes = getcgcg_paddleprecise_newinstance_widget().getButton().getSelection();
3153        
3154        
3155        defBoolRes = true;
3156        
3157
3158        if (boolRes != defBoolRes) {
3159            getConfig().put(getcgcg_paddleprecise_newinstance_widget().getAlias(), new Boolean JavaDoc(boolRes));
3160        }
3161         
3162        stringRes = getcgcg_paddlepropagator_widget().getSelectedAlias();
3163
3164        
3165        defStringRes = "auto";
3166        
3167
3168        if (!stringRes.equals(defStringRes)) {
3169            getConfig().put(getcgcg_paddlepropagator_widget().getAlias(), stringRes);
3170        }
3171         
3172        stringRes = getcgcg_paddleset_impl_widget().getSelectedAlias();
3173
3174        
3175        defStringRes = "double";
3176        
3177
3178        if (!stringRes.equals(defStringRes)) {
3179            getConfig().put(getcgcg_paddleset_impl_widget().getAlias(), stringRes);
3180        }
3181         
3182        stringRes = getcgcg_paddledouble_set_old_widget().getSelectedAlias();
3183
3184        
3185        defStringRes = "hybrid";
3186        
3187
3188        if (!stringRes.equals(defStringRes)) {
3189            getConfig().put(getcgcg_paddledouble_set_old_widget().getAlias(), stringRes);
3190        }
3191         
3192        stringRes = getcgcg_paddledouble_set_new_widget().getSelectedAlias();
3193
3194        
3195        defStringRes = "hybrid";
3196        
3197
3198        if (!stringRes.equals(defStringRes)) {
3199            getConfig().put(getcgcg_paddledouble_set_new_widget().getAlias(), stringRes);
3200        }
3201        
3202        boolRes = getcgcg_paddlecontext_counts_widget().getButton().getSelection();
3203        
3204        
3205        defBoolRes = false;
3206        
3207
3208        if (boolRes != defBoolRes) {
3209            getConfig().put(getcgcg_paddlecontext_counts_widget().getAlias(), new Boolean JavaDoc(boolRes));
3210        }
3211        
3212        boolRes = getcgcg_paddletotal_context_counts_widget().getButton().getSelection();
3213        
3214        
3215        defBoolRes = false;
3216        
3217
3218        if (boolRes != defBoolRes) {
3219            getConfig().put(getcgcg_paddletotal_context_counts_widget().getAlias(), new Boolean JavaDoc(boolRes));
3220        }
3221        
3222        boolRes = getcgcg_paddlemethod_context_counts_widget().getButton().getSelection();
3223        
3224        
3225        defBoolRes = false;
3226        
3227
3228        if (boolRes != defBoolRes) {
3229            getConfig().put(getcgcg_paddlemethod_context_counts_widget().getAlias(), new Boolean JavaDoc(boolRes));
3230        }
3231        
3232        boolRes = getcgcg_paddleset_mass_widget().getButton().getSelection();
3233        
3234        
3235        defBoolRes = false;
3236        
3237
3238        if (boolRes != defBoolRes) {
3239            getConfig().put(getcgcg_paddleset_mass_widget().getAlias(), new Boolean JavaDoc(boolRes));
3240        }
3241        
3242        boolRes = getcgcg_paddlenumber_nodes_widget().getButton().getSelection();
3243        
3244        
3245        defBoolRes = true;
3246        
3247
3248        if (boolRes != defBoolRes) {
3249            getConfig().put(getcgcg_paddlenumber_nodes_widget().getAlias(), new Boolean JavaDoc(boolRes));
3250        }
3251        
3252        boolRes = getwstpenabled_widget().getButton().getSelection();
3253        
3254        
3255        defBoolRes = true;
3256        
3257
3258        if (boolRes != defBoolRes) {
3259            getConfig().put(getwstpenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3260        }
3261        
3262        boolRes = getwsopenabled_widget().getButton().getSelection();
3263        
3264        
3265        defBoolRes = false;
3266        
3267
3268        if (boolRes != defBoolRes) {
3269            getConfig().put(getwsopenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3270        }
3271        
3272        boolRes = getwjtpenabled_widget().getButton().getSelection();
3273        
3274        
3275        defBoolRes = true;
3276        
3277
3278        if (boolRes != defBoolRes) {
3279            getConfig().put(getwjtpenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3280        }
3281        
3282        boolRes = getwjopenabled_widget().getButton().getSelection();
3283        
3284        
3285        defBoolRes = false;
3286        
3287
3288        if (boolRes != defBoolRes) {
3289            getConfig().put(getwjopenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3290        }
3291        
3292        boolRes = getwjopwjop_smbenabled_widget().getButton().getSelection();
3293        
3294        
3295        defBoolRes = false;
3296        
3297
3298        if (boolRes != defBoolRes) {
3299            getConfig().put(getwjopwjop_smbenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3300        }
3301        
3302        boolRes = getwjopwjop_smbinsert_null_checks_widget().getButton().getSelection();
3303        
3304        
3305        defBoolRes = true;
3306        
3307
3308        if (boolRes != defBoolRes) {
3309            getConfig().put(getwjopwjop_smbinsert_null_checks_widget().getAlias(), new Boolean JavaDoc(boolRes));
3310        }
3311        
3312        boolRes = getwjopwjop_smbinsert_redundant_casts_widget().getButton().getSelection();
3313        
3314        
3315        defBoolRes = true;
3316        
3317
3318        if (boolRes != defBoolRes) {
3319            getConfig().put(getwjopwjop_smbinsert_redundant_casts_widget().getAlias(), new Boolean JavaDoc(boolRes));
3320        }
3321         
3322        stringRes = getwjopwjop_smballowed_modifier_changes_widget().getSelectedAlias();
3323
3324        
3325        defStringRes = "unsafe";
3326        
3327
3328        if (!stringRes.equals(defStringRes)) {
3329            getConfig().put(getwjopwjop_smballowed_modifier_changes_widget().getAlias(), stringRes);
3330        }
3331        
3332        boolRes = getwjopwjop_sienabled_widget().getButton().getSelection();
3333        
3334        
3335        defBoolRes = true;
3336        
3337
3338        if (boolRes != defBoolRes) {
3339            getConfig().put(getwjopwjop_sienabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3340        }
3341        
3342        boolRes = getwjopwjop_sirerun_jb_widget().getButton().getSelection();
3343        
3344        
3345        defBoolRes = true;
3346        
3347
3348        if (boolRes != defBoolRes) {
3349            getConfig().put(getwjopwjop_sirerun_jb_widget().getAlias(), new Boolean JavaDoc(boolRes));
3350        }
3351        
3352        boolRes = getwjopwjop_siinsert_null_checks_widget().getButton().getSelection();
3353        
3354        
3355        defBoolRes = true;
3356        
3357
3358        if (boolRes != defBoolRes) {
3359            getConfig().put(getwjopwjop_siinsert_null_checks_widget().getAlias(), new Boolean JavaDoc(boolRes));
3360        }
3361        
3362        boolRes = getwjopwjop_siinsert_redundant_casts_widget().getButton().getSelection();
3363        
3364        
3365        defBoolRes = true;
3366        
3367
3368        if (boolRes != defBoolRes) {
3369            getConfig().put(getwjopwjop_siinsert_redundant_casts_widget().getAlias(), new Boolean JavaDoc(boolRes));
3370        }
3371        
3372        stringRes = getwjopwjop_siexpansion_factor_widget().getText().getText();
3373        
3374        defStringRes = "3";
3375        
3376
3377            if ( (!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
3378            getConfig().put(getwjopwjop_siexpansion_factor_widget().getAlias(), stringRes);
3379        }
3380        
3381        stringRes = getwjopwjop_simax_container_size_widget().getText().getText();
3382        
3383        defStringRes = "5000";
3384        
3385
3386            if ( (!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
3387            getConfig().put(getwjopwjop_simax_container_size_widget().getAlias(), stringRes);
3388        }
3389        
3390        stringRes = getwjopwjop_simax_inlinee_size_widget().getText().getText();
3391        
3392        defStringRes = "20";
3393        
3394
3395            if ( (!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
3396            getConfig().put(getwjopwjop_simax_inlinee_size_widget().getAlias(), stringRes);
3397        }
3398         
3399        stringRes = getwjopwjop_siallowed_modifier_changes_widget().getSelectedAlias();
3400
3401        
3402        defStringRes = "unsafe";
3403        
3404
3405        if (!stringRes.equals(defStringRes)) {
3406            getConfig().put(getwjopwjop_siallowed_modifier_changes_widget().getAlias(), stringRes);
3407        }
3408        
3409        boolRes = getwjapenabled_widget().getButton().getSelection();
3410        
3411        
3412        defBoolRes = true;
3413        
3414
3415        if (boolRes != defBoolRes) {
3416            getConfig().put(getwjapenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3417        }
3418        
3419        boolRes = getwjapwjap_raenabled_widget().getButton().getSelection();
3420        
3421        
3422        defBoolRes = false;
3423        
3424
3425        if (boolRes != defBoolRes) {
3426            getConfig().put(getwjapwjap_raenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3427        }
3428        
3429        boolRes = getwjapwjap_umtenabled_widget().getButton().getSelection();
3430        
3431        
3432        defBoolRes = false;
3433        
3434
3435        if (boolRes != defBoolRes) {
3436            getConfig().put(getwjapwjap_umtenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3437        }
3438        
3439        boolRes = getwjapwjap_uftenabled_widget().getButton().getSelection();
3440        
3441        
3442        defBoolRes = false;
3443        
3444
3445        if (boolRes != defBoolRes) {
3446            getConfig().put(getwjapwjap_uftenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3447        }
3448        
3449        boolRes = getwjapwjap_tqtenabled_widget().getButton().getSelection();
3450        
3451        
3452        defBoolRes = false;
3453        
3454
3455        if (boolRes != defBoolRes) {
3456            getConfig().put(getwjapwjap_tqtenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3457        }
3458        
3459        boolRes = getwjapwjap_cggenabled_widget().getButton().getSelection();
3460        
3461        
3462        defBoolRes = false;
3463        
3464
3465        if (boolRes != defBoolRes) {
3466            getConfig().put(getwjapwjap_cggenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3467        }
3468        
3469        boolRes = getwjapwjap_cggshow_lib_meths_widget().getButton().getSelection();
3470        
3471        
3472        defBoolRes = false;
3473        
3474
3475        if (boolRes != defBoolRes) {
3476            getConfig().put(getwjapwjap_cggshow_lib_meths_widget().getAlias(), new Boolean JavaDoc(boolRes));
3477        }
3478        
3479        boolRes = getwjapwjap_purityenabled_widget().getButton().getSelection();
3480        
3481        
3482        defBoolRes = false;
3483        
3484
3485        if (boolRes != defBoolRes) {
3486            getConfig().put(getwjapwjap_purityenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3487        }
3488        
3489        boolRes = getwjapwjap_puritydump_summaries_widget().getButton().getSelection();
3490        
3491        
3492        defBoolRes = true;
3493        
3494
3495        if (boolRes != defBoolRes) {
3496            getConfig().put(getwjapwjap_puritydump_summaries_widget().getAlias(), new Boolean JavaDoc(boolRes));
3497        }
3498        
3499        boolRes = getwjapwjap_puritydump_cg_widget().getButton().getSelection();
3500        
3501        
3502        defBoolRes = false;
3503        
3504
3505        if (boolRes != defBoolRes) {
3506            getConfig().put(getwjapwjap_puritydump_cg_widget().getAlias(), new Boolean JavaDoc(boolRes));
3507        }
3508        
3509        boolRes = getwjapwjap_puritydump_intra_widget().getButton().getSelection();
3510        
3511        
3512        defBoolRes = false;
3513        
3514
3515        if (boolRes != defBoolRes) {
3516            getConfig().put(getwjapwjap_puritydump_intra_widget().getAlias(), new Boolean JavaDoc(boolRes));
3517        }
3518        
3519        boolRes = getwjapwjap_purityprint_widget().getButton().getSelection();
3520        
3521        
3522        defBoolRes = true;
3523        
3524
3525        if (boolRes != defBoolRes) {
3526            getConfig().put(getwjapwjap_purityprint_widget().getAlias(), new Boolean JavaDoc(boolRes));
3527        }
3528        
3529        boolRes = getwjapwjap_purityverbose_widget().getButton().getSelection();
3530        
3531        
3532        defBoolRes = false;
3533        
3534
3535        if (boolRes != defBoolRes) {
3536            getConfig().put(getwjapwjap_purityverbose_widget().getAlias(), new Boolean JavaDoc(boolRes));
3537        }
3538        
3539        boolRes = getshimpleenabled_widget().getButton().getSelection();
3540        
3541        
3542        defBoolRes = true;
3543        
3544
3545        if (boolRes != defBoolRes) {
3546            getConfig().put(getshimpleenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3547        }
3548        
3549        boolRes = getshimplenode_elim_opt_widget().getButton().getSelection();
3550        
3551        
3552        defBoolRes = true;
3553        
3554
3555        if (boolRes != defBoolRes) {
3556            getConfig().put(getshimplenode_elim_opt_widget().getAlias(), new Boolean JavaDoc(boolRes));
3557        }
3558        
3559        boolRes = getshimplestandard_local_names_widget().getButton().getSelection();
3560        
3561        
3562        defBoolRes = false;
3563        
3564
3565        if (boolRes != defBoolRes) {
3566            getConfig().put(getshimplestandard_local_names_widget().getAlias(), new Boolean JavaDoc(boolRes));
3567        }
3568        
3569        boolRes = getshimpleextended_widget().getButton().getSelection();
3570        
3571        
3572        defBoolRes = false;
3573        
3574
3575        if (boolRes != defBoolRes) {
3576            getConfig().put(getshimpleextended_widget().getAlias(), new Boolean JavaDoc(boolRes));
3577        }
3578        
3579        boolRes = getshimpledebug_widget().getButton().getSelection();
3580        
3581        
3582        defBoolRes = false;
3583        
3584
3585        if (boolRes != defBoolRes) {
3586            getConfig().put(getshimpledebug_widget().getAlias(), new Boolean JavaDoc(boolRes));
3587        }
3588        
3589        boolRes = getstpenabled_widget().getButton().getSelection();
3590        
3591        
3592        defBoolRes = true;
3593        
3594
3595        if (boolRes != defBoolRes) {
3596            getConfig().put(getstpenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3597        }
3598        
3599        boolRes = getsopenabled_widget().getButton().getSelection();
3600        
3601        
3602        defBoolRes = false;
3603        
3604
3605        if (boolRes != defBoolRes) {
3606            getConfig().put(getsopenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3607        }
3608        
3609        boolRes = getsopsop_cpfenabled_widget().getButton().getSelection();
3610        
3611        
3612        defBoolRes = true;
3613        
3614
3615        if (boolRes != defBoolRes) {
3616            getConfig().put(getsopsop_cpfenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3617        }
3618        
3619        boolRes = getsopsop_cpfprune_cfg_widget().getButton().getSelection();
3620        
3621        
3622        defBoolRes = true;
3623        
3624
3625        if (boolRes != defBoolRes) {
3626            getConfig().put(getsopsop_cpfprune_cfg_widget().getAlias(), new Boolean JavaDoc(boolRes));
3627        }
3628        
3629        boolRes = getjtpenabled_widget().getButton().getSelection();
3630        
3631        
3632        defBoolRes = true;
3633        
3634
3635        if (boolRes != defBoolRes) {
3636            getConfig().put(getjtpenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3637        }
3638        
3639        boolRes = getjopenabled_widget().getButton().getSelection();
3640        
3641        
3642        defBoolRes = false;
3643        
3644
3645        if (boolRes != defBoolRes) {
3646            getConfig().put(getjopenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3647        }
3648        
3649        boolRes = getjopjop_cseenabled_widget().getButton().getSelection();
3650        
3651        
3652        defBoolRes = false;
3653        
3654
3655        if (boolRes != defBoolRes) {
3656            getConfig().put(getjopjop_cseenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3657        }
3658        
3659        boolRes = getjopjop_csenaive_side_effect_widget().getButton().getSelection();
3660        
3661        
3662        defBoolRes = false;
3663        
3664
3665        if (boolRes != defBoolRes) {
3666            getConfig().put(getjopjop_csenaive_side_effect_widget().getAlias(), new Boolean JavaDoc(boolRes));
3667        }
3668        
3669        boolRes = getjopjop_bcmenabled_widget().getButton().getSelection();
3670        
3671        
3672        defBoolRes = false;
3673        
3674
3675        if (boolRes != defBoolRes) {
3676            getConfig().put(getjopjop_bcmenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3677        }
3678        
3679        boolRes = getjopjop_bcmnaive_side_effect_widget().getButton().getSelection();
3680        
3681        
3682        defBoolRes = false;
3683        
3684
3685        if (boolRes != defBoolRes) {
3686            getConfig().put(getjopjop_bcmnaive_side_effect_widget().getAlias(), new Boolean JavaDoc(boolRes));
3687        }
3688        
3689        boolRes = getjopjop_lcmenabled_widget().getButton().getSelection();
3690        
3691        
3692        defBoolRes = false;
3693        
3694
3695        if (boolRes != defBoolRes) {
3696            getConfig().put(getjopjop_lcmenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3697        }
3698        
3699        boolRes = getjopjop_lcmunroll_widget().getButton().getSelection();
3700        
3701        
3702        defBoolRes = true;
3703        
3704
3705        if (boolRes != defBoolRes) {
3706            getConfig().put(getjopjop_lcmunroll_widget().getAlias(), new Boolean JavaDoc(boolRes));
3707        }
3708        
3709        boolRes = getjopjop_lcmnaive_side_effect_widget().getButton().getSelection();
3710        
3711        
3712        defBoolRes = false;
3713        
3714
3715        if (boolRes != defBoolRes) {
3716            getConfig().put(getjopjop_lcmnaive_side_effect_widget().getAlias(), new Boolean JavaDoc(boolRes));
3717        }
3718         
3719        stringRes = getjopjop_lcmsafety_widget().getSelectedAlias();
3720
3721        
3722        defStringRes = "safe";
3723        
3724
3725        if (!stringRes.equals(defStringRes)) {
3726            getConfig().put(getjopjop_lcmsafety_widget().getAlias(), stringRes);
3727        }
3728        
3729        boolRes = getjopjop_cpenabled_widget().getButton().getSelection();
3730        
3731        
3732        defBoolRes = true;
3733        
3734
3735        if (boolRes != defBoolRes) {
3736            getConfig().put(getjopjop_cpenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3737        }
3738        
3739        boolRes = getjopjop_cponly_regular_locals_widget().getButton().getSelection();
3740        
3741        
3742        defBoolRes = false;
3743        
3744
3745        if (boolRes != defBoolRes) {
3746            getConfig().put(getjopjop_cponly_regular_locals_widget().getAlias(), new Boolean JavaDoc(boolRes));
3747        }
3748        
3749        boolRes = getjopjop_cponly_stack_locals_widget().getButton().getSelection();
3750        
3751        
3752        defBoolRes = false;
3753        
3754
3755        if (boolRes != defBoolRes) {
3756            getConfig().put(getjopjop_cponly_stack_locals_widget().getAlias(), new Boolean JavaDoc(boolRes));
3757        }
3758        
3759        boolRes = getjopjop_cpfenabled_widget().getButton().getSelection();
3760        
3761        
3762        defBoolRes = true;
3763        
3764
3765        if (boolRes != defBoolRes) {
3766            getConfig().put(getjopjop_cpfenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3767        }
3768        
3769        boolRes = getjopjop_cbfenabled_widget().getButton().getSelection();
3770        
3771        
3772        defBoolRes = true;
3773        
3774
3775        if (boolRes != defBoolRes) {
3776            getConfig().put(getjopjop_cbfenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3777        }
3778        
3779        boolRes = getjopjop_daeenabled_widget().getButton().getSelection();
3780        
3781        
3782        defBoolRes = true;
3783        
3784
3785        if (boolRes != defBoolRes) {
3786            getConfig().put(getjopjop_daeenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3787        }
3788        
3789        boolRes = getjopjop_daeonly_tag_widget().getButton().getSelection();
3790        
3791        
3792        defBoolRes = false;
3793        
3794
3795        if (boolRes != defBoolRes) {
3796            getConfig().put(getjopjop_daeonly_tag_widget().getAlias(), new Boolean JavaDoc(boolRes));
3797        }
3798        
3799        boolRes = getjopjop_daeonly_stack_locals_widget().getButton().getSelection();
3800        
3801        
3802        defBoolRes = false;
3803        
3804
3805        if (boolRes != defBoolRes) {
3806            getConfig().put(getjopjop_daeonly_stack_locals_widget().getAlias(), new Boolean JavaDoc(boolRes));
3807        }
3808        
3809        boolRes = getjopjop_uce1enabled_widget().getButton().getSelection();
3810        
3811        
3812        defBoolRes = true;
3813        
3814
3815        if (boolRes != defBoolRes) {
3816            getConfig().put(getjopjop_uce1enabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3817        }
3818        
3819        boolRes = getjopjop_uce1remove_unreachable_traps_widget().getButton().getSelection();
3820        
3821        
3822        defBoolRes = false;
3823        
3824
3825        if (boolRes != defBoolRes) {
3826            getConfig().put(getjopjop_uce1remove_unreachable_traps_widget().getAlias(), new Boolean JavaDoc(boolRes));
3827        }
3828        
3829        boolRes = getjopjop_ubf1enabled_widget().getButton().getSelection();
3830        
3831        
3832        defBoolRes = true;
3833        
3834
3835        if (boolRes != defBoolRes) {
3836            getConfig().put(getjopjop_ubf1enabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3837        }
3838        
3839        boolRes = getjopjop_uce2enabled_widget().getButton().getSelection();
3840        
3841        
3842        defBoolRes = true;
3843        
3844
3845        if (boolRes != defBoolRes) {
3846            getConfig().put(getjopjop_uce2enabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3847        }
3848        
3849        boolRes = getjopjop_uce2remove_unreachable_traps_widget().getButton().getSelection();
3850        
3851        
3852        defBoolRes = false;
3853        
3854
3855        if (boolRes != defBoolRes) {
3856            getConfig().put(getjopjop_uce2remove_unreachable_traps_widget().getAlias(), new Boolean JavaDoc(boolRes));
3857        }
3858        
3859        boolRes = getjopjop_ubf2enabled_widget().getButton().getSelection();
3860        
3861        
3862        defBoolRes = true;
3863        
3864
3865        if (boolRes != defBoolRes) {
3866            getConfig().put(getjopjop_ubf2enabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3867        }
3868        
3869        boolRes = getjopjop_uleenabled_widget().getButton().getSelection();
3870        
3871        
3872        defBoolRes = true;
3873        
3874
3875        if (boolRes != defBoolRes) {
3876            getConfig().put(getjopjop_uleenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3877        }
3878        
3879        boolRes = getjapenabled_widget().getButton().getSelection();
3880        
3881        
3882        defBoolRes = true;
3883        
3884
3885        if (boolRes != defBoolRes) {
3886            getConfig().put(getjapenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3887        }
3888        
3889        boolRes = getjapjap_npcenabled_widget().getButton().getSelection();
3890        
3891        
3892        defBoolRes = false;
3893        
3894
3895        if (boolRes != defBoolRes) {
3896            getConfig().put(getjapjap_npcenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3897        }
3898        
3899        boolRes = getjapjap_npconly_array_ref_widget().getButton().getSelection();
3900        
3901        
3902        defBoolRes = false;
3903        
3904
3905        if (boolRes != defBoolRes) {
3906            getConfig().put(getjapjap_npconly_array_ref_widget().getAlias(), new Boolean JavaDoc(boolRes));
3907        }
3908        
3909        boolRes = getjapjap_npcprofiling_widget().getButton().getSelection();
3910        
3911        
3912        defBoolRes = false;
3913        
3914
3915        if (boolRes != defBoolRes) {
3916            getConfig().put(getjapjap_npcprofiling_widget().getAlias(), new Boolean JavaDoc(boolRes));
3917        }
3918        
3919        boolRes = getjapjap_npcolorerenabled_widget().getButton().getSelection();
3920        
3921        
3922        defBoolRes = false;
3923        
3924
3925        if (boolRes != defBoolRes) {
3926            getConfig().put(getjapjap_npcolorerenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3927        }
3928        
3929        boolRes = getjapjap_abcenabled_widget().getButton().getSelection();
3930        
3931        
3932        defBoolRes = false;
3933        
3934
3935        if (boolRes != defBoolRes) {
3936            getConfig().put(getjapjap_abcenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
3937        }
3938        
3939        boolRes = getjapjap_abcwith_all_widget().getButton().getSelection();
3940        
3941        
3942        defBoolRes = false;
3943        
3944
3945        if (boolRes != defBoolRes) {
3946            getConfig().put(getjapjap_abcwith_all_widget().getAlias(), new Boolean JavaDoc(boolRes));
3947        }
3948        
3949        boolRes = getjapjap_abcwith_cse_widget().getButton().getSelection();
3950        
3951        
3952        defBoolRes = false;
3953        
3954
3955        if (boolRes != defBoolRes) {
3956            getConfig().put(getjapjap_abcwith_cse_widget().getAlias(), new Boolean JavaDoc(boolRes));
3957        }
3958        
3959        boolRes = getjapjap_abcwith_arrayref_widget().getButton().getSelection();
3960        
3961        
3962        defBoolRes = false;
3963        
3964
3965        if (boolRes != defBoolRes) {
3966            getConfig().put(getjapjap_abcwith_arrayref_widget().getAlias(), new Boolean JavaDoc(boolRes));
3967        }
3968        
3969        boolRes = getjapjap_abcwith_fieldref_widget().getButton().getSelection();
3970        
3971        
3972        defBoolRes = false;
3973        
3974
3975        if (boolRes != defBoolRes) {
3976            getConfig().put(getjapjap_abcwith_fieldref_widget().getAlias(), new Boolean JavaDoc(boolRes));
3977        }
3978        
3979        boolRes = getjapjap_abcwith_classfield_widget().getButton().getSelection();
3980        
3981        
3982        defBoolRes = false;
3983        
3984
3985        if (boolRes != defBoolRes) {
3986            getConfig().put(getjapjap_abcwith_classfield_widget().getAlias(), new Boolean JavaDoc(boolRes));
3987        }
3988        
3989        boolRes = getjapjap_abcwith_rectarray_widget().getButton().getSelection();
3990        
3991        
3992        defBoolRes = false;
3993        
3994
3995        if (boolRes != defBoolRes) {
3996            getConfig().put(getjapjap_abcwith_rectarray_widget().getAlias(), new Boolean JavaDoc(boolRes));
3997        }
3998        
3999        boolRes = getjapjap_abcprofiling_widget().getButton().getSelection();
4000        
4001        
4002        defBoolRes = false;
4003        
4004
4005        if (boolRes != defBoolRes) {
4006            getConfig().put(getjapjap_abcprofiling_widget().getAlias(), new Boolean JavaDoc(boolRes));
4007        }
4008        
4009        boolRes = getjapjap_abcadd_color_tags_widget().getButton().getSelection();
4010        
4011        
4012        defBoolRes = false;
4013        
4014
4015        if (boolRes != defBoolRes) {
4016            getConfig().put(getjapjap_abcadd_color_tags_widget().getAlias(), new Boolean JavaDoc(boolRes));
4017        }
4018        
4019        boolRes = getjapjap_profilingenabled_widget().getButton().getSelection();
4020        
4021        
4022        defBoolRes = false;
4023        
4024
4025        if (boolRes != defBoolRes) {
4026            getConfig().put(getjapjap_profilingenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4027        }
4028        
4029        boolRes = getjapjap_profilingnotmainentry_widget().getButton().getSelection();
4030        
4031        
4032        defBoolRes = false;
4033        
4034
4035        if (boolRes != defBoolRes) {
4036            getConfig().put(getjapjap_profilingnotmainentry_widget().getAlias(), new Boolean JavaDoc(boolRes));
4037        }
4038        
4039        boolRes = getjapjap_seaenabled_widget().getButton().getSelection();
4040        
4041        
4042        defBoolRes = false;
4043        
4044
4045        if (boolRes != defBoolRes) {
4046            getConfig().put(getjapjap_seaenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4047        }
4048        
4049        boolRes = getjapjap_seanaive_widget().getButton().getSelection();
4050        
4051        
4052        defBoolRes = false;
4053        
4054
4055        if (boolRes != defBoolRes) {
4056            getConfig().put(getjapjap_seanaive_widget().getAlias(), new Boolean JavaDoc(boolRes));
4057        }
4058        
4059        boolRes = getjapjap_fieldrwenabled_widget().getButton().getSelection();
4060        
4061        
4062        defBoolRes = false;
4063        
4064
4065        if (boolRes != defBoolRes) {
4066            getConfig().put(getjapjap_fieldrwenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4067        }
4068        
4069        stringRes = getjapjap_fieldrwthreshold_widget().getText().getText();
4070        
4071        defStringRes = "100";
4072        
4073
4074            if ( (!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
4075            getConfig().put(getjapjap_fieldrwthreshold_widget().getAlias(), stringRes);
4076        }
4077        
4078        boolRes = getjapjap_cgtaggerenabled_widget().getButton().getSelection();
4079        
4080        
4081        defBoolRes = false;
4082        
4083
4084        if (boolRes != defBoolRes) {
4085            getConfig().put(getjapjap_cgtaggerenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4086        }
4087        
4088        boolRes = getjapjap_parityenabled_widget().getButton().getSelection();
4089        
4090        
4091        defBoolRes = false;
4092        
4093
4094        if (boolRes != defBoolRes) {
4095            getConfig().put(getjapjap_parityenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4096        }
4097        
4098        boolRes = getjapjap_patenabled_widget().getButton().getSelection();
4099        
4100        
4101        defBoolRes = false;
4102        
4103
4104        if (boolRes != defBoolRes) {
4105            getConfig().put(getjapjap_patenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4106        }
4107        
4108        boolRes = getjapjap_lvtaggerenabled_widget().getButton().getSelection();
4109        
4110        
4111        defBoolRes = false;
4112        
4113
4114        if (boolRes != defBoolRes) {
4115            getConfig().put(getjapjap_lvtaggerenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4116        }
4117        
4118        boolRes = getjapjap_rdtaggerenabled_widget().getButton().getSelection();
4119        
4120        
4121        defBoolRes = false;
4122        
4123
4124        if (boolRes != defBoolRes) {
4125            getConfig().put(getjapjap_rdtaggerenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4126        }
4127        
4128        boolRes = getjapjap_cheenabled_widget().getButton().getSelection();
4129        
4130        
4131        defBoolRes = false;
4132        
4133
4134        if (boolRes != defBoolRes) {
4135            getConfig().put(getjapjap_cheenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4136        }
4137        
4138        boolRes = getjapjap_umtenabled_widget().getButton().getSelection();
4139        
4140        
4141        defBoolRes = false;
4142        
4143
4144        if (boolRes != defBoolRes) {
4145            getConfig().put(getjapjap_umtenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4146        }
4147        
4148        boolRes = getjapjap_litenabled_widget().getButton().getSelection();
4149        
4150        
4151        defBoolRes = false;
4152        
4153
4154        if (boolRes != defBoolRes) {
4155            getConfig().put(getjapjap_litenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4156        }
4157        
4158        boolRes = getjapjap_aetenabled_widget().getButton().getSelection();
4159        
4160        
4161        defBoolRes = false;
4162        
4163
4164        if (boolRes != defBoolRes) {
4165            getConfig().put(getjapjap_aetenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4166        }
4167         
4168        stringRes = getjapjap_aetkind_widget().getSelectedAlias();
4169
4170        
4171        defStringRes = "optimistic";
4172        
4173
4174        if (!stringRes.equals(defStringRes)) {
4175            getConfig().put(getjapjap_aetkind_widget().getAlias(), stringRes);
4176        }
4177        
4178        boolRes = getjapjap_dmtenabled_widget().getButton().getSelection();
4179        
4180        
4181        defBoolRes = false;
4182        
4183
4184        if (boolRes != defBoolRes) {
4185            getConfig().put(getjapjap_dmtenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4186        }
4187        
4188        boolRes = getgbenabled_widget().getButton().getSelection();
4189        
4190        
4191        defBoolRes = true;
4192        
4193
4194        if (boolRes != defBoolRes) {
4195            getConfig().put(getgbenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4196        }
4197        
4198        boolRes = getgbgb_a1enabled_widget().getButton().getSelection();
4199        
4200        
4201        defBoolRes = true;
4202        
4203
4204        if (boolRes != defBoolRes) {
4205            getConfig().put(getgbgb_a1enabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4206        }
4207        
4208        boolRes = getgbgb_a1only_stack_locals_widget().getButton().getSelection();
4209        
4210        
4211        defBoolRes = true;
4212        
4213
4214        if (boolRes != defBoolRes) {
4215            getConfig().put(getgbgb_a1only_stack_locals_widget().getAlias(), new Boolean JavaDoc(boolRes));
4216        }
4217        
4218        boolRes = getgbgb_cfenabled_widget().getButton().getSelection();
4219        
4220        
4221        defBoolRes = true;
4222        
4223
4224        if (boolRes != defBoolRes) {
4225            getConfig().put(getgbgb_cfenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4226        }
4227        
4228        boolRes = getgbgb_a2enabled_widget().getButton().getSelection();
4229        
4230        
4231        defBoolRes = true;
4232        
4233
4234        if (boolRes != defBoolRes) {
4235            getConfig().put(getgbgb_a2enabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4236        }
4237        
4238        boolRes = getgbgb_a2only_stack_locals_widget().getButton().getSelection();
4239        
4240        
4241        defBoolRes = true;
4242        
4243
4244        if (boolRes != defBoolRes) {
4245            getConfig().put(getgbgb_a2only_stack_locals_widget().getAlias(), new Boolean JavaDoc(boolRes));
4246        }
4247        
4248        boolRes = getgbgb_uleenabled_widget().getButton().getSelection();
4249        
4250        
4251        defBoolRes = true;
4252        
4253
4254        if (boolRes != defBoolRes) {
4255            getConfig().put(getgbgb_uleenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4256        }
4257        
4258        boolRes = getgopenabled_widget().getButton().getSelection();
4259        
4260        
4261        defBoolRes = false;
4262        
4263
4264        if (boolRes != defBoolRes) {
4265            getConfig().put(getgopenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4266        }
4267        
4268        boolRes = getbbenabled_widget().getButton().getSelection();
4269        
4270        
4271        defBoolRes = true;
4272        
4273
4274        if (boolRes != defBoolRes) {
4275            getConfig().put(getbbenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4276        }
4277        
4278        boolRes = getbbbb_lsoenabled_widget().getButton().getSelection();
4279        
4280        
4281        defBoolRes = true;
4282        
4283
4284        if (boolRes != defBoolRes) {
4285            getConfig().put(getbbbb_lsoenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4286        }
4287        
4288        boolRes = getbbbb_lsodebug_widget().getButton().getSelection();
4289        
4290        
4291        defBoolRes = false;
4292        
4293
4294        if (boolRes != defBoolRes) {
4295            getConfig().put(getbbbb_lsodebug_widget().getAlias(), new Boolean JavaDoc(boolRes));
4296        }
4297        
4298        boolRes = getbbbb_lsointer_widget().getButton().getSelection();
4299        
4300        
4301        defBoolRes = false;
4302        
4303
4304        if (boolRes != defBoolRes) {
4305            getConfig().put(getbbbb_lsointer_widget().getAlias(), new Boolean JavaDoc(boolRes));
4306        }
4307        
4308        boolRes = getbbbb_lsosl_widget().getButton().getSelection();
4309        
4310        
4311        defBoolRes = true;
4312        
4313
4314        if (boolRes != defBoolRes) {
4315            getConfig().put(getbbbb_lsosl_widget().getAlias(), new Boolean JavaDoc(boolRes));
4316        }
4317        
4318        boolRes = getbbbb_lsosl2_widget().getButton().getSelection();
4319        
4320        
4321        defBoolRes = false;
4322        
4323
4324        if (boolRes != defBoolRes) {
4325            getConfig().put(getbbbb_lsosl2_widget().getAlias(), new Boolean JavaDoc(boolRes));
4326        }
4327        
4328        boolRes = getbbbb_lsosll_widget().getButton().getSelection();
4329        
4330        
4331        defBoolRes = true;
4332        
4333
4334        if (boolRes != defBoolRes) {
4335            getConfig().put(getbbbb_lsosll_widget().getAlias(), new Boolean JavaDoc(boolRes));
4336        }
4337        
4338        boolRes = getbbbb_lsosll2_widget().getButton().getSelection();
4339        
4340        
4341        defBoolRes = false;
4342        
4343
4344        if (boolRes != defBoolRes) {
4345            getConfig().put(getbbbb_lsosll2_widget().getAlias(), new Boolean JavaDoc(boolRes));
4346        }
4347        
4348        boolRes = getbbbb_phoenabled_widget().getButton().getSelection();
4349        
4350        
4351        defBoolRes = true;
4352        
4353
4354        if (boolRes != defBoolRes) {
4355            getConfig().put(getbbbb_phoenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4356        }
4357        
4358        boolRes = getbbbb_uleenabled_widget().getButton().getSelection();
4359        
4360        
4361        defBoolRes = true;
4362        
4363
4364        if (boolRes != defBoolRes) {
4365            getConfig().put(getbbbb_uleenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4366        }
4367        
4368        boolRes = getbbbb_lpenabled_widget().getButton().getSelection();
4369        
4370        
4371        defBoolRes = true;
4372        
4373
4374        if (boolRes != defBoolRes) {
4375            getConfig().put(getbbbb_lpenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4376        }
4377        
4378        boolRes = getbbbb_lpunsplit_original_locals_widget().getButton().getSelection();
4379        
4380        
4381        defBoolRes = false;
4382        
4383
4384        if (boolRes != defBoolRes) {
4385            getConfig().put(getbbbb_lpunsplit_original_locals_widget().getAlias(), new Boolean JavaDoc(boolRes));
4386        }
4387        
4388        boolRes = getbopenabled_widget().getButton().getSelection();
4389        
4390        
4391        defBoolRes = false;
4392        
4393
4394        if (boolRes != defBoolRes) {
4395            getConfig().put(getbopenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4396        }
4397        
4398        boolRes = gettagenabled_widget().getButton().getSelection();
4399        
4400        
4401        defBoolRes = true;
4402        
4403
4404        if (boolRes != defBoolRes) {
4405            getConfig().put(gettagenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4406        }
4407        
4408        boolRes = gettagtag_lnenabled_widget().getButton().getSelection();
4409        
4410        
4411        defBoolRes = true;
4412        
4413
4414        if (boolRes != defBoolRes) {
4415            getConfig().put(gettagtag_lnenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4416        }
4417        
4418        boolRes = gettagtag_anenabled_widget().getButton().getSelection();
4419        
4420        
4421        defBoolRes = false;
4422        
4423
4424        if (boolRes != defBoolRes) {
4425            getConfig().put(gettagtag_anenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4426        }
4427        
4428        boolRes = gettagtag_depenabled_widget().getButton().getSelection();
4429        
4430        
4431        defBoolRes = false;
4432        
4433
4434        if (boolRes != defBoolRes) {
4435            getConfig().put(gettagtag_depenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4436        }
4437        
4438        boolRes = gettagtag_fieldrwenabled_widget().getButton().getSelection();
4439        
4440        
4441        defBoolRes = false;
4442        
4443
4444        if (boolRes != defBoolRes) {
4445            getConfig().put(gettagtag_fieldrwenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4446        }
4447        
4448        boolRes = getdbenabled_widget().getButton().getSelection();
4449        
4450        
4451        defBoolRes = true;
4452        
4453
4454        if (boolRes != defBoolRes) {
4455            getConfig().put(getdbenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4456        }
4457        
4458        boolRes = getdbdb_transformationsenabled_widget().getButton().getSelection();
4459        
4460        
4461        defBoolRes = true;
4462        
4463
4464        if (boolRes != defBoolRes) {
4465            getConfig().put(getdbdb_transformationsenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4466        }
4467        
4468        boolRes = getdbdb_renamerenabled_widget().getButton().getSelection();
4469        
4470        
4471        defBoolRes = false;
4472        
4473
4474        if (boolRes != defBoolRes) {
4475            getConfig().put(getdbdb_renamerenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4476        }
4477        
4478        boolRes = getdbdb_renamerremove_fully_qualified_widget().getButton().getSelection();
4479        
4480        
4481        defBoolRes = false;
4482        
4483
4484        if (boolRes != defBoolRes) {
4485            getConfig().put(getdbdb_renamerremove_fully_qualified_widget().getAlias(), new Boolean JavaDoc(boolRes));
4486        }
4487        
4488        boolRes = getdbdb_deobfuscateenabled_widget().getButton().getSelection();
4489        
4490        
4491        defBoolRes = true;
4492        
4493
4494        if (boolRes != defBoolRes) {
4495            getConfig().put(getdbdb_deobfuscateenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4496        }
4497        
4498        boolRes = getdbdb_force_recompileenabled_widget().getButton().getSelection();
4499        
4500        
4501        defBoolRes = true;
4502        
4503
4504        if (boolRes != defBoolRes) {
4505            getConfig().put(getdbdb_force_recompileenabled_widget().getAlias(), new Boolean JavaDoc(boolRes));
4506        }
4507        
4508        boolRes = getApplication_Mode_Optionsinclude_all_widget().getButton().getSelection();
4509        
4510        
4511        defBoolRes = false;
4512        
4513
4514        if (boolRes != defBoolRes) {
4515            getConfig().put(getApplication_Mode_Optionsinclude_all_widget().getAlias(), new Boolean JavaDoc(boolRes));
4516        }
4517        
4518        stringRes = getApplication_Mode_Optionsinclude_widget().getText().getText();
4519        
4520        defStringRes = "";
4521        
4522
4523            if ( (!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
4524            getConfig().put(getApplication_Mode_Optionsinclude_widget().getAlias(), stringRes);
4525        }
4526        
4527        stringRes = getApplication_Mode_Optionsexclude_widget().getText().getText();
4528        
4529        defStringRes = "";
4530        
4531
4532            if ( (!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
4533            getConfig().put(getApplication_Mode_Optionsexclude_widget().getAlias(), stringRes);
4534        }
4535        
4536        stringRes = getApplication_Mode_Optionsdynamic_class_widget().getText().getText();
4537        
4538        defStringRes = "";
4539        
4540
4541            if ( (!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
4542            getConfig().put(getApplication_Mode_Optionsdynamic_class_widget().getAlias(), stringRes);
4543        }
4544        
4545        stringRes = getApplication_Mode_Optionsdynamic_dir_widget().getText().getText();
4546        
4547        defStringRes = "";
4548        
4549
4550            if ( (!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
4551            getConfig().put(getApplication_Mode_Optionsdynamic_dir_widget().getAlias(), stringRes);
4552        }
4553        
4554        stringRes = getApplication_Mode_Optionsdynamic_package_widget().getText().getText();
4555        
4556        defStringRes = "";
4557        
4558
4559            if ( (!(stringRes.equals(defStringRes))) && (stringRes != null) && (stringRes.length() != 0)) {
4560            getConfig().put(getApplication_Mode_Optionsdynamic_package_widget().getAlias(), stringRes);
4561        }
4562        
4563        boolRes = getInput_Attribute_Optionskeep_line_number_widget().getButton().getSelection();
4564        
4565        
4566        defBoolRes = false;
4567        
4568
4569        if (boolRes != defBoolRes) {
4570            getConfig().put(getInput_Attribute_Optionskeep_line_number_widget().getAlias(), new Boolean JavaDoc(boolRes));
4571        }
4572        
4573        boolRes = getInput_Attribute_Optionskeep_offset_widget().getButton().getSelection();
4574        
4575        
4576        defBoolRes = false;
4577        
4578
4579        if (boolRes != defBoolRes) {
4580            getConfig().put(getInput_Attribute_Optionskeep_offset_widget().getAlias(), new Boolean JavaDoc(boolRes));
4581        }
4582        
4583        boolRes = getAnnotation_Optionsannot_purity_widget().getButton().getSelection();
4584        
4585        
4586        defBoolRes = false;
4587        
4588
4589        if (boolRes != defBoolRes) {
4590            getConfig().put(getAnnotation_Optionsannot_purity_widget().getAlias(), new Boolean JavaDoc(boolRes));
4591        }
4592        
4593        boolRes = getAnnotation_Optionsannot_nullpointer_widget().getButton().getSelection();
4594        
4595        
4596        defBoolRes = false;
4597        
4598
4599        if (boolRes != defBoolRes) {
4600            getConfig().put(getAnnotation_Optionsannot_nullpointer_widget().getAlias(), new Boolean JavaDoc(boolRes));
4601        }
4602        
4603        boolRes = getAnnotation_Optionsannot_arraybounds_widget().getButton().getSelection();
4604        
4605        
4606        defBoolRes = false;
4607        
4608
4609        if (boolRes != defBoolRes) {
4610            getConfig().put(getAnnotation_Optionsannot_arraybounds_widget().getAlias(), new Boolean JavaDoc(boolRes));
4611        }
4612        
4613        boolRes = getAnnotation_Optionsannot_side_effect_widget().getButton().getSelection();
4614        
4615        
4616        defBoolRes = false;
4617        
4618
4619        if (boolRes != defBoolRes) {
4620            getConfig().put(getAnnotation_Optionsannot_side_effect_widget().getAlias(), new Boolean JavaDoc(boolRes));
4621        }
4622        
4623        boolRes = getAnnotation_Optionsannot_fieldrw_widget().getButton().getSelection();
4624        
4625        
4626        defBoolRes = false;
4627        
4628
4629        if (boolRes != defBoolRes) {
4630            getConfig().put(getAnnotation_Optionsannot_fieldrw_widget().getAlias(), new Boolean JavaDoc(boolRes));
4631        }
4632        
4633        boolRes = getMiscellaneous_Optionstime_widget().getButton().getSelection();
4634        
4635        
4636        defBoolRes = false;
4637        
4638
4639        if (boolRes != defBoolRes) {
4640            getConfig().put(getMiscellaneous_Optionstime_widget().getAlias(), new Boolean JavaDoc(boolRes));
4641        }
4642        
4643        boolRes = getMiscellaneous_Optionssubtract_gc_widget().getButton().getSelection();
4644        
4645        
4646        defBoolRes = false;
4647        
4648
4649        if (boolRes != defBoolRes) {
4650            getConfig().put(getMiscellaneous_Optionssubtract_gc_widget().getAlias(), new Boolean JavaDoc(boolRes));
4651        }
4652        
4653        
4654        setSootMainClass(getSootMainClassWidget().getText().getText());
4655    }
4656
4657    protected HashMap savePressed() {
4658
4659        createNewConfig();
4660        
4661        return getConfig();
4662    }
4663    
4664
4665
4666    /**
4667     * the initial input of selection tree corresponds to each section
4668     * at some point sections will have sub-sections which will be
4669     * children of branches (ie phase - options)
4670     */

4671    protected SootOption getInitialInput() {
4672        SootOption root = new SootOption("", "");
4673        SootOption parent;
4674        SootOption subParent;
4675        SootOption subSectParent;
4676        
4677
4678        
4679        SootOption General_Options_branch = new SootOption("General Options", "General_Options");
4680        root.addChild(General_Options_branch);
4681        parent = General_Options_branch;
4682        
4683        SootOption Input_Options_branch = new SootOption("Input Options", "Input_Options");
4684        root.addChild(Input_Options_branch);
4685        parent = Input_Options_branch;
4686        
4687        SootOption Output_Options_branch = new SootOption("Output Options", "Output_Options");
4688        root.addChild(Output_Options_branch);
4689        parent = Output_Options_branch;
4690        
4691        SootOption Processing_Options_branch = new SootOption("Processing Options", "Processing_Options");
4692        root.addChild(Processing_Options_branch);
4693        parent = Processing_Options_branch;
4694        
4695        SootOption Phase_Options_branch = new SootOption("Phase Options", "p");
4696        root.addChild(Phase_Options_branch);
4697
4698        parent = Phase_Options_branch;
4699
4700        
4701        
4702        //Phase Options
4703
//Jimple Body Creation
4704
SootOption jb_branch = new SootOption("Jimple Body Creation", "jb");
4705            parent.addChild(jb_branch);
4706            subParent = jb_branch;
4707
4708
4709            
4710            SootOption jb_jb_ls_branch = new SootOption("Local Splitter", "jbjb_ls");
4711            subParent.addChild(jb_jb_ls_branch);
4712
4713
4714            
4715
4716            
4717            subSectParent = jb_jb_ls_branch;
4718            
4719            
4720            SootOption jb_jb_a_branch = new SootOption("Jimple Local Aggregator", "jbjb_a");
4721            subParent.addChild(jb_jb_a_branch);
4722
4723
4724            
4725
4726            
4727            subSectParent = jb_jb_a_branch;
4728            
4729            
4730            SootOption jb_jb_ule_branch = new SootOption("Unused Local Eliminator", "jbjb_ule");
4731            subParent.addChild(jb_jb_ule_branch);
4732
4733
4734            
4735
4736            
4737            subSectParent = jb_jb_ule_branch;
4738            
4739            
4740            SootOption jb_jb_tr_branch = new SootOption("Type Assigner", "jbjb_tr");
4741            subParent.addChild(jb_jb_tr_branch);
4742
4743
4744            
4745
4746            
4747            subSectParent = jb_jb_tr_branch;
4748            
4749            
4750            SootOption jb_jb_ulp_branch = new SootOption("Unsplit-originals Local Packer", "jbjb_ulp");
4751            subParent.addChild(jb_jb_ulp_branch);
4752
4753
4754            
4755
4756            
4757            subSectParent = jb_jb_ulp_branch;
4758            
4759            
4760            SootOption jb_jb_lns_branch = new SootOption("Local Name Standardizer", "jbjb_lns");
4761            subParent.addChild(jb_jb_lns_branch);
4762
4763
4764            
4765
4766            
4767            subSectParent = jb_jb_lns_branch;
4768            
4769            
4770            SootOption jb_jb_cp_branch = new SootOption("Copy Propagator", "jbjb_cp");
4771            subParent.addChild(jb_jb_cp_branch);
4772
4773
4774            
4775
4776            
4777            subSectParent = jb_jb_cp_branch;
4778            
4779            
4780            SootOption jb_jb_dae_branch = new SootOption("Dead Assignment Eliminator", "jbjb_dae");
4781            subParent.addChild(jb_jb_dae_branch);
4782
4783
4784            
4785
4786            
4787            subSectParent = jb_jb_dae_branch;
4788            
4789            
4790            SootOption jb_jb_cp_ule_branch = new SootOption("Post-copy propagation Unused Local Eliminator", "jbjb_cp_ule");
4791            subParent.addChild(jb_jb_cp_ule_branch);
4792
4793
4794            
4795
4796            
4797            subSectParent = jb_jb_cp_ule_branch;
4798            
4799            
4800            SootOption jb_jb_lp_branch = new SootOption("Local Packer", "jbjb_lp");
4801            subParent.addChild(jb_jb_lp_branch);
4802
4803
4804            
4805
4806            
4807            subSectParent = jb_jb_lp_branch;
4808            
4809            
4810            SootOption jb_jb_ne_branch = new SootOption("Nop Eliminator", "jbjb_ne");
4811            subParent.addChild(jb_jb_ne_branch);
4812
4813
4814            
4815
4816            
4817            subSectParent = jb_jb_ne_branch;
4818            
4819            
4820            SootOption jb_jb_uce_branch = new SootOption("Unreachable Code Eliminator", "jbjb_uce");
4821            subParent.addChild(jb_jb_uce_branch);
4822
4823
4824            
4825
4826            
4827            subSectParent = jb_jb_uce_branch;
4828            
4829            
4830            SootOption jb_jb_tt_branch = new SootOption("Trap Tightener", "jbjb_tt");
4831            subParent.addChild(jb_jb_tt_branch);
4832
4833
4834            
4835
4836            
4837            subSectParent = jb_jb_tt_branch;
4838            
4839            
4840            //Java To Jimple Body Creation
4841
SootOption jj_branch = new SootOption("Java To Jimple Body Creation", "jj");
4842            parent.addChild(jj_branch);
4843            subParent = jj_branch;
4844
4845
4846            
4847            SootOption jj_jj_ls_branch = new SootOption("Local Splitter", "jjjj_ls");
4848            subParent.addChild(jj_jj_ls_branch);
4849
4850
4851            
4852
4853            
4854            subSectParent = jj_jj_ls_branch;
4855            
4856            
4857            SootOption jj_jj_a_branch = new SootOption("Jimple Local Aggregator", "jjjj_a");
4858            subParent.addChild(jj_jj_a_branch);
4859
4860
4861            
4862
4863            
4864            subSectParent = jj_jj_a_branch;
4865            
4866            
4867            SootOption jj_jj_ule_branch = new SootOption("Unused Local Eliminator", "jjjj_ule");
4868            subParent.addChild(jj_jj_ule_branch);
4869
4870
4871            
4872
4873            
4874            subSectParent = jj_jj_ule_branch;
4875            
4876            
4877            SootOption jj_jj_tr_branch = new SootOption("Type Assigner", "jjjj_tr");
4878            subParent.addChild(jj_jj_tr_branch);
4879
4880
4881            
4882
4883            
4884            subSectParent = jj_jj_tr_branch;
4885            
4886            
4887            SootOption jj_jj_ulp_branch = new SootOption("Unsplit-originals Local Packer", "jjjj_ulp");
4888            subParent.addChild(jj_jj_ulp_branch);
4889
4890
4891            
4892
4893            
4894            subSectParent = jj_jj_ulp_branch;
4895            
4896            
4897            SootOption jj_jj_lns_branch = new SootOption("Local Name Standardizer", "jjjj_lns");
4898            subParent.addChild(jj_jj_lns_branch);
4899
4900
4901            
4902
4903            
4904            subSectParent = jj_jj_lns_branch;
4905            
4906            
4907            SootOption jj_jj_cp_branch = new SootOption("Copy Propagator", "jjjj_cp");
4908            subParent.addChild(jj_jj_cp_branch);
4909
4910
4911            
4912
4913            
4914            subSectParent = jj_jj_cp_branch;
4915            
4916            
4917            SootOption jj_jj_dae_branch = new SootOption("Dead Assignment Eliminator", "jjjj_dae");
4918            subParent.addChild(jj_jj_dae_branch);
4919
4920
4921            
4922
4923            
4924            subSectParent = jj_jj_dae_branch;
4925            
4926            
4927            SootOption jj_jj_cp_ule_branch = new SootOption("Post-copy propagation Unused Local Eliminator", "jjjj_cp_ule");
4928            subParent.addChild(jj_jj_cp_ule_branch);
4929
4930
4931            
4932
4933            
4934            subSectParent = jj_jj_cp_ule_branch;
4935            
4936            
4937            SootOption jj_jj_lp_branch = new SootOption("Local Packer", "jjjj_lp");
4938            subParent.addChild(jj_jj_lp_branch);
4939
4940
4941            
4942
4943            
4944            subSectParent = jj_jj_lp_branch;
4945            
4946            
4947            SootOption jj_jj_ne_branch = new SootOption("Nop Eliminator", "jjjj_ne");
4948            subParent.addChild(jj_jj_ne_branch);
4949
4950
4951            
4952
4953            
4954            subSectParent = jj_jj_ne_branch;
4955            
4956            
4957            SootOption jj_jj_uce_branch = new SootOption("Unreachable Code Eliminator", "jjjj_uce");
4958            subParent.addChild(jj_jj_uce_branch);
4959
4960
4961            
4962
4963            
4964            subSectParent = jj_jj_uce_branch;
4965            
4966            
4967            //Call Graph Constructor
4968
SootOption cg_branch = new SootOption("Call Graph Constructor", "cg");
4969            parent.addChild(cg_branch);
4970            subParent = cg_branch;
4971
4972
4973            
4974            SootOption cg_cg_cha_branch = new SootOption("Class Hierarchy Analysis", "cgcg_cha");
4975            subParent.addChild(cg_cg_cha_branch);
4976
4977
4978            
4979
4980            
4981            subSectParent = cg_cg_cha_branch;
4982            
4983            
4984            SootOption cg_cg_spark_branch = new SootOption("Spark", "cgcg_spark");
4985            subParent.addChild(cg_cg_spark_branch);
4986
4987
4988            
4989
4990            
4991            subSectParent = cg_cg_spark_branch;
4992            
4993            
4994            SootOption cg_Spark_General_Options_branch = new SootOption("Spark General Options", "cgSpark_General_Options");
4995
4996            subSectParent.addChild(cg_Spark_General_Options_branch);
4997            
4998            SootOption cg_Spark_Pointer_Assignment_Graph_Building_Options_branch = new SootOption("Spark Pointer Assignment Graph Building Options", "cgSpark_Pointer_Assignment_Graph_Building_Options");
4999
5000            subSectParent.addChild(cg_Spark_Pointer_Assignment_Graph_Building_Options_branch);
5001            
5002            SootOption cg_Spark_Pointer_Assignment_Graph_Simplification_Options_branch = new SootOption("Spark Pointer Assignment Graph Simplification Options", "cgSpark_Pointer_Assignment_Graph_Simplification_Options");
5003
5004            subSectParent.addChild(cg_Spark_Pointer_Assignment_Graph_Simplification_Options_branch);
5005            
5006            SootOption cg_Spark_Points_To_Set_Flowing_Options_branch = new SootOption("Spark Points-To Set Flowing Options", "cgSpark_Points_To_Set_Flowing_Options");
5007
5008            subSectParent.addChild(cg_Spark_Points_To_Set_Flowing_Options_branch);
5009            
5010            SootOption cg_Spark_Output_Options_branch = new SootOption("Spark Output Options", "cgSpark_Output_Options");
5011
5012            subSectParent.addChild(cg_Spark_Output_Options_branch);
5013            
5014            SootOption cg_cg_paddle_branch = new SootOption("Paddle", "cgcg_paddle");
5015            subParent.addChild(cg_cg_paddle_branch);
5016
5017
5018            
5019
5020            
5021            subSectParent = cg_cg_paddle_branch;
5022            
5023            
5024            SootOption cg_Paddle_General_Options_branch = new SootOption("Paddle General Options", "cgPaddle_General_Options");
5025
5026            subSectParent.addChild(cg_Paddle_General_Options_branch);
5027            
5028            SootOption cg_Paddle_Context_Sensitivity_Options_branch = new SootOption("Paddle Context Sensitivity Options", "cgPaddle_Context_Sensitivity_Options");
5029
5030            subSectParent.addChild(cg_Paddle_Context_Sensitivity_Options_branch);
5031            
5032            SootOption cg_Paddle_Pointer_Assignment_Graph_Building_Options_branch = new SootOption("Paddle Pointer Assignment Graph Building Options", "cgPaddle_Pointer_Assignment_Graph_Building_Options");
5033
5034            subSectParent.addChild(cg_Paddle_Pointer_Assignment_Graph_Building_Options_branch);
5035            
5036            SootOption cg_Paddle_Points_To_Set_Flowing_Options_branch = new SootOption("Paddle Points-To Set Flowing Options", "cgPaddle_Points_To_Set_Flowing_Options");
5037
5038            subSectParent.addChild(cg_Paddle_Points_To_Set_Flowing_Options_branch);
5039            
5040            SootOption cg_Paddle_Output_Options_branch = new SootOption("Paddle Output Options", "cgPaddle_Output_Options");
5041
5042            subSectParent.addChild(cg_Paddle_Output_Options_branch);
5043            
5044            //Whole Shimple Transformation Pack
5045
SootOption wstp_branch = new SootOption("Whole Shimple Transformation Pack", "wstp");
5046            parent.addChild(wstp_branch);
5047            subParent = wstp_branch;
5048
5049
5050            
5051            //Whole Shimple Optimization Pack
5052
SootOption wsop_branch = new SootOption("Whole Shimple Optimization Pack", "wsop");
5053            parent.addChild(wsop_branch);
5054            subParent = wsop_branch;
5055
5056
5057            
5058            //Whole-Jimple Transformation Pack
5059
SootOption wjtp_branch = new SootOption("Whole-Jimple Transformation Pack", "wjtp");
5060            parent.addChild(wjtp_branch);
5061            subParent = wjtp_branch;
5062
5063
5064            
5065            //Whole-Jimple Optimization Pack
5066
SootOption wjop_branch = new SootOption("Whole-Jimple Optimization Pack", "wjop");
5067            parent.addChild(wjop_branch);
5068            subParent = wjop_branch;
5069
5070
5071            
5072            SootOption wjop_wjop_smb_branch = new SootOption("Static Method Binder", "wjopwjop_smb");
5073            subParent.addChild(wjop_wjop_smb_branch);
5074
5075
5076            
5077
5078            
5079            subSectParent = wjop_wjop_smb_branch;
5080            
5081            
5082            SootOption wjop_wjop_si_branch = new SootOption("Static Inliner", "wjopwjop_si");
5083            subParent.addChild(wjop_wjop_si_branch);
5084
5085
5086            
5087
5088            
5089            subSectParent = wjop_wjop_si_branch;
5090            
5091            
5092            //Whole-Jimple Annotation Pack
5093
SootOption wjap_branch = new SootOption("Whole-Jimple Annotation Pack", "wjap");
5094            parent.addChild(wjap_branch);
5095            subParent = wjap_branch;
5096
5097
5098            
5099            SootOption wjap_wjap_ra_branch = new SootOption("Rectangular Array Finder", "wjapwjap_ra");
5100            subParent.addChild(wjap_wjap_ra_branch);
5101
5102
5103            
5104
5105            
5106            subSectParent = wjap_wjap_ra_branch;
5107            
5108            
5109            SootOption wjap_wjap_umt_branch = new SootOption("Unreachable Method Tagger", "wjapwjap_umt");
5110            subParent.addChild(wjap_wjap_umt_branch);
5111
5112
5113            
5114
5115            
5116            subSectParent = wjap_wjap_umt_branch;
5117            
5118            
5119            SootOption wjap_wjap_uft_branch = new SootOption("Unreachable Fields Tagger", "wjapwjap_uft");
5120            subParent.addChild(wjap_wjap_uft_branch);
5121
5122
5123            
5124
5125            
5126            subSectParent = wjap_wjap_uft_branch;
5127            
5128            
5129            SootOption wjap_wjap_tqt_branch = new SootOption("Tightest Qualifiers Tagger", "wjapwjap_tqt");
5130            subParent.addChild(wjap_wjap_tqt_branch);
5131
5132
5133            
5134
5135            
5136            subSectParent = wjap_wjap_tqt_branch;
5137            
5138            
5139            SootOption wjap_wjap_cgg_branch = new SootOption("Call Graph Grapher", "wjapwjap_cgg");
5140            subParent.addChild(wjap_wjap_cgg_branch);
5141
5142
5143            
5144
5145            
5146            subSectParent = wjap_wjap_cgg_branch;
5147            
5148            
5149            SootOption wjap_wjap_purity_branch = new SootOption("Purity Analysis [AM]", "wjapwjap_purity");
5150            subParent.addChild(wjap_wjap_purity_branch);
5151
5152
5153            
5154
5155            
5156            subSectParent = wjap_wjap_purity_branch;
5157            
5158            
5159            //Shimple Control
5160
SootOption shimple_branch = new SootOption("Shimple Control", "shimple");
5161            parent.addChild(shimple_branch);
5162            subParent = shimple_branch;
5163
5164
5165            
5166            //Shimple Transformation Pack
5167
SootOption stp_branch = new SootOption("Shimple Transformation Pack", "stp");
5168            parent.addChild(stp_branch);
5169            subParent = stp_branch;
5170
5171
5172            
5173            //Shimple Optimization Pack
5174
SootOption sop_branch = new SootOption("Shimple Optimization Pack", "sop");
5175            parent.addChild(sop_branch);
5176            subParent = sop_branch;
5177
5178
5179            
5180            SootOption sop_sop_cpf_branch = new SootOption("Shimple Constant Propagator and Folder", "sopsop_cpf");
5181            subParent.addChild(sop_sop_cpf_branch);
5182
5183
5184            
5185
5186            
5187            subSectParent = sop_sop_cpf_branch;
5188            
5189            
5190            //Jimple Transformation Pack
5191
SootOption jtp_branch = new SootOption("Jimple Transformation Pack", "jtp");
5192            parent.addChild(jtp_branch);
5193            subParent = jtp_branch;
5194
5195
5196            
5197            //Jimple Optimization Pack
5198
SootOption jop_branch = new SootOption("Jimple Optimization Pack", "jop");
5199            parent.addChild(jop_branch);
5200            subParent = jop_branch;
5201
5202
5203            
5204            SootOption jop_jop_cse_branch = new SootOption("Common Subexpression Eliminator", "jopjop_cse");
5205            subParent.addChild(jop_jop_cse_branch);
5206
5207
5208            
5209
5210            
5211            subSectParent = jop_jop_cse_branch;
5212            
5213            
5214            SootOption jop_jop_bcm_branch = new SootOption("Busy Code Motion", "jopjop_bcm");
5215            subParent.addChild(jop_jop_bcm_branch);
5216
5217
5218            
5219
5220            
5221            subSectParent = jop_jop_bcm_branch;
5222            
5223            
5224            SootOption jop_jop_lcm_branch = new SootOption("Lazy Code Motion", "jopjop_lcm");
5225            subParent.addChild(jop_jop_lcm_branch);
5226
5227
5228            
5229
5230            
5231            subSectParent = jop_jop_lcm_branch;
5232            
5233            
5234            SootOption jop_jop_cp_branch = new SootOption("Copy Propagator", "jopjop_cp");
5235            subParent.addChild(jop_jop_cp_branch);
5236
5237
5238            
5239
5240            
5241            subSectParent = jop_jop_cp_branch;
5242            
5243            
5244            SootOption jop_jop_cpf_branch = new SootOption("Jimple Constant Propagator and Folder", "jopjop_cpf");
5245            subParent.addChild(jop_jop_cpf_branch);
5246
5247
5248            
5249
5250            
5251            subSectParent = jop_jop_cpf_branch;
5252            
5253            
5254            SootOption jop_jop_cbf_branch = new SootOption("Conditional Branch Folder", "jopjop_cbf");
5255            subParent.addChild(jop_jop_cbf_branch);
5256
5257
5258            
5259
5260            
5261            subSectParent = jop_jop_cbf_branch;
5262            
5263            
5264            SootOption jop_jop_dae_branch = new SootOption("Dead Assignment Eliminator", "jopjop_dae");
5265            subParent.addChild(jop_jop_dae_branch);
5266
5267
5268            
5269
5270            
5271            subSectParent = jop_jop_dae_branch;
5272            
5273            
5274            SootOption jop_jop_uce1_branch = new SootOption("Unreachable Code Eliminator 1", "jopjop_uce1");
5275            subParent.addChild(jop_jop_uce1_branch);
5276
5277
5278            
5279
5280            
5281            subSectParent = jop_jop_uce1_branch;
5282            
5283            
5284            SootOption jop_jop_ubf1_branch = new SootOption("Unconditional Branch Folder 1", "jopjop_ubf1");
5285            subParent.addChild(jop_jop_ubf1_branch);
5286
5287
5288            
5289
5290            
5291            subSectParent = jop_jop_ubf1_branch;
5292            
5293            
5294            SootOption jop_jop_uce2_branch = new SootOption("Unreachable Code Eliminator 2", "jopjop_uce2");
5295            subParent.addChild(jop_jop_uce2_branch);
5296
5297
5298            
5299
5300            
5301            subSectParent = jop_jop_uce2_branch;
5302            
5303            
5304            SootOption jop_jop_ubf2_branch = new SootOption("Unconditional Branch Folder 2", "jopjop_ubf2");
5305            subParent.addChild(jop_jop_ubf2_branch);
5306
5307
5308            
5309
5310            
5311            subSectParent = jop_jop_ubf2_branch;
5312            
5313            
5314            SootOption jop_jop_ule_branch = new SootOption("Unused Local Eliminator", "jopjop_ule");
5315            subParent.addChild(jop_jop_ule_branch);
5316
5317
5318            
5319
5320            
5321            subSectParent = jop_jop_ule_branch;
5322            
5323            
5324            //Jimple Annotation Pack
5325
SootOption jap_branch = new SootOption("Jimple Annotation Pack", "jap");
5326            parent.addChild(jap_branch);
5327            subParent = jap_branch;
5328
5329
5330            
5331            SootOption jap_jap_npc_branch = new SootOption("Null Pointer Checker", "japjap_npc");
5332            subParent.addChild(jap_jap_npc_branch);
5333
5334
5335            
5336
5337            
5338            subSectParent = jap_jap_npc_branch;
5339            
5340            
5341            SootOption jap_jap_npcolorer_branch = new SootOption("Null Pointer Colourer", "japjap_npcolorer");
5342            subParent.addChild(jap_jap_npcolorer_branch);
5343
5344
5345            
5346
5347            
5348            subSectParent = jap_jap_npcolorer_branch;
5349            
5350            
5351            SootOption jap_jap_abc_branch = new SootOption("Array Bound Checker", "japjap_abc");
5352            subParent.addChild(jap_jap_abc_branch);
5353
5354
5355            
5356
5357            
5358            subSectParent = jap_jap_abc_branch;
5359            
5360            
5361            SootOption jap_jap_profiling_branch = new SootOption("Profiling Generator", "japjap_profiling");
5362            subParent.addChild(jap_jap_profiling_branch);
5363
5364
5365            
5366
5367            
5368            subSectParent = jap_jap_profiling_branch;
5369            
5370            
5371            SootOption jap_jap_sea_branch = new SootOption("Side Effect tagger", "japjap_sea");
5372            subParent.addChild(jap_jap_sea_branch);
5373
5374
5375            
5376
5377            
5378            subSectParent = jap_jap_sea_branch;
5379            
5380            
5381            SootOption jap_jap_fieldrw_branch = new SootOption("Field Read/Write Tagger", "japjap_fieldrw");
5382            subParent.addChild(jap_jap_fieldrw_branch);
5383
5384
5385            
5386
5387            
5388            subSectParent = jap_jap_fieldrw_branch;
5389            
5390            
5391            SootOption jap_jap_cgtagger_branch = new SootOption("Call Graph Tagger", "japjap_cgtagger");
5392            subParent.addChild(jap_jap_cgtagger_branch);
5393
5394
5395            
5396
5397            
5398            subSectParent = jap_jap_cgtagger_branch;
5399            
5400            
5401            SootOption jap_jap_parity_branch = new SootOption("Parity Tagger", "japjap_parity");
5402            subParent.addChild(jap_jap_parity_branch);
5403
5404
5405            
5406
5407            
5408            subSectParent = jap_jap_parity_branch;
5409            
5410            
5411            SootOption jap_jap_pat_branch = new SootOption("Parameter Alias Tagger", "japjap_pat");
5412            subParent.addChild(jap_jap_pat_branch);
5413
5414
5415            
5416
5417            
5418            subSectParent = jap_jap_pat_branch;
5419            
5420            
5421            SootOption jap_jap_lvtagger_branch = new SootOption("Live Variables Tagger", "japjap_lvtagger");
5422            subParent.addChild(jap_jap_lvtagger_branch);
5423
5424
5425            
5426
5427            
5428            subSectParent = jap_jap_lvtagger_branch;
5429            
5430            
5431            SootOption jap_jap_rdtagger_branch = new SootOption("Reaching Defs Tagger", "japjap_rdtagger");
5432            subParent.addChild(jap_jap_rdtagger_branch);
5433
5434
5435            
5436
5437            
5438            subSectParent = jap_jap_rdtagger_branch;
5439            
5440            
5441            SootOption jap_jap_che_branch = new SootOption("Cast Elimination Check Tagger", "japjap_che");
5442            subParent.addChild(jap_jap_che_branch);
5443
5444
5445            
5446
5447            
5448            subSectParent = jap_jap_che_branch;
5449            
5450            
5451            SootOption jap_jap_umt_branch = new SootOption("Unreachable Method Transformer", "japjap_umt");
5452            subParent.addChild(jap_jap_umt_branch);
5453
5454
5455            
5456
5457            
5458            subSectParent = jap_jap_umt_branch;
5459            
5460            
5461            SootOption jap_jap_lit_branch = new SootOption("Loop Invariant Tagger", "japjap_lit");
5462            subParent.addChild(jap_jap_lit_branch);
5463
5464
5465            
5466
5467            
5468            subSectParent = jap_jap_lit_branch;
5469            
5470            
5471            SootOption jap_jap_aet_branch = new SootOption("Available Expressions Tagger", "japjap_aet");
5472            subParent.addChild(jap_jap_aet_branch);
5473
5474
5475            
5476
5477            
5478            subSectParent = jap_jap_aet_branch;
5479            
5480            
5481            SootOption jap_jap_dmt_branch = new SootOption("Dominators Tagger", "japjap_dmt");
5482            subParent.addChild(jap_jap_dmt_branch);
5483
5484
5485            
5486
5487            
5488            subSectParent = jap_jap_dmt_branch;
5489            
5490            
5491            //Grimp Body Creation
5492
SootOption gb_branch = new SootOption("Grimp Body Creation", "gb");
5493            parent.addChild(gb_branch);
5494            subParent = gb_branch;
5495
5496
5497            
5498            SootOption gb_gb_a1_branch = new SootOption("Grimp Pre-folding Aggregator", "gbgb_a1");
5499            subParent.addChild(gb_gb_a1_branch);
5500
5501
5502            
5503
5504            
5505            subSectParent = gb_gb_a1_branch;
5506            
5507            
5508            SootOption gb_gb_cf_branch = new SootOption("Grimp Constructor Folder", "gbgb_cf");
5509            subParent.addChild(gb_gb_cf_branch);
5510
5511
5512            
5513
5514            
5515            subSectParent = gb_gb_cf_branch;
5516            
5517            
5518            SootOption gb_gb_a2_branch = new SootOption("Grimp Post-folding Aggregator", "gbgb_a2");
5519            subParent.addChild(gb_gb_a2_branch);
5520
5521
5522            
5523
5524            
5525            subSectParent = gb_gb_a2_branch;
5526            
5527            
5528            SootOption gb_gb_ule_branch = new SootOption("Grimp Unused Local Eliminator", "gbgb_ule");
5529            subParent.addChild(gb_gb_ule_branch);
5530
5531
5532            
5533
5534            
5535            subSectParent = gb_gb_ule_branch;
5536            
5537            
5538            //Grimp Optimization
5539
SootOption gop_branch = new SootOption("Grimp Optimization", "gop");
5540            parent.addChild(gop_branch);
5541            subParent = gop_branch;
5542
5543
5544            
5545            //Baf Body Creation
5546
SootOption bb_branch = new SootOption("Baf Body Creation", "bb");
5547            parent.addChild(bb_branch);
5548            subParent = bb_branch;
5549
5550
5551            
5552            SootOption bb_bb_lso_branch = new SootOption("Load Store Optimizer", "bbbb_lso");
5553            subParent.addChild(bb_bb_lso_branch);
5554
5555
5556            
5557
5558            
5559            subSectParent = bb_bb_lso_branch;
5560            
5561            
5562            SootOption bb_bb_pho_branch = new SootOption("Peephole Optimizer", "bbbb_pho");
5563            subParent.addChild(bb_bb_pho_branch);
5564
5565
5566            
5567
5568            
5569            subSectParent = bb_bb_pho_branch;
5570            
5571            
5572            SootOption bb_bb_ule_branch = new SootOption("Unused Local Eliminator", "bbbb_ule");
5573            subParent.addChild(bb_bb_ule_branch);
5574
5575
5576            
5577
5578            
5579            subSectParent = bb_bb_ule_branch;
5580            
5581            
5582            SootOption bb_bb_lp_branch = new SootOption("Local Packer", "bbbb_lp");
5583            subParent.addChild(bb_bb_lp_branch);
5584
5585
5586            
5587
5588            
5589            subSectParent = bb_bb_lp_branch;
5590            
5591            
5592            //Baf Optimization
5593
SootOption bop_branch = new SootOption("Baf Optimization", "bop");
5594            parent.addChild(bop_branch);
5595            subParent = bop_branch;
5596
5597
5598            
5599            //Tag Aggregator
5600
SootOption tag_branch = new SootOption("Tag Aggregator", "tag");
5601            parent.addChild(tag_branch);
5602            subParent = tag_branch;
5603
5604
5605            
5606            SootOption tag_tag_ln_branch = new SootOption("Line Number Tag Aggregator", "tagtag_ln");
5607            subParent.addChild(tag_tag_ln_branch);
5608
5609
5610            
5611
5612            
5613            subSectParent = tag_tag_ln_branch;
5614            
5615            
5616            SootOption tag_tag_an_branch = new SootOption("Array Bounds and Null Pointer Check Tag Aggregator", "tagtag_an");
5617            subParent.addChild(tag_tag_an_branch);
5618
5619
5620            
5621
5622            
5623            subSectParent = tag_tag_an_branch;
5624            
5625            
5626            SootOption tag_tag_dep_branch = new SootOption("Dependence Tag Aggregator", "tagtag_dep");
5627            subParent.addChild(tag_tag_dep_branch);
5628
5629
5630            
5631
5632            
5633            subSectParent = tag_tag_dep_branch;
5634            
5635            
5636            SootOption tag_tag_fieldrw_branch = new SootOption("Field Read/Write Tag Aggregator", "tagtag_fieldrw");
5637            subParent.addChild(tag_tag_fieldrw_branch);
5638
5639
5640            
5641
5642            
5643            subSectParent = tag_tag_fieldrw_branch;
5644            
5645            
5646            //Dava Body Creation
5647
SootOption db_branch = new SootOption("Dava Body Creation", "db");
5648            parent.addChild(db_branch);
5649            subParent = db_branch;
5650
5651
5652            
5653            SootOption db_db_transformations_branch = new SootOption("Transformations", "dbdb_transformations");
5654            subParent.addChild(db_db_transformations_branch);
5655
5656
5657            
5658
5659            
5660            subSectParent = db_db_transformations_branch;
5661            
5662            
5663            SootOption db_db_renamer_branch = new SootOption("Renamer", "dbdb_renamer");
5664            subParent.addChild(db_db_renamer_branch);
5665
5666
5667            
5668
5669            
5670            subSectParent = db_db_renamer_branch;
5671            
5672            
5673            SootOption db_db_deobfuscate_branch = new SootOption("De-obfuscate", "dbdb_deobfuscate");
5674            subParent.addChild(db_db_deobfuscate_branch);
5675
5676
5677            
5678
5679            
5680            subSectParent = db_db_deobfuscate_branch;
5681            
5682            
5683            SootOption db_db_force_recompile_branch = new SootOption("Force Recompilability", "dbdb_force_recompile");
5684            subParent.addChild(db_db_force_recompile_branch);
5685
5686
5687            
5688
5689            
5690            subSectParent = db_db_force_recompile_branch;
5691            
5692            
5693        SootOption Application_Mode_Options_branch = new SootOption("Application Mode Options", "Application_Mode_Options");
5694        root.addChild(Application_Mode_Options_branch);
5695        parent = Application_Mode_Options_branch;
5696        
5697        SootOption Input_Attribute_Options_branch = new SootOption("Input Attribute Options", "Input_Attribute_Options");
5698        root.addChild(Input_Attribute_Options_branch);
5699        parent = Input_Attribute_Options_branch;
5700        
5701        SootOption Annotation_Options_branch = new SootOption("Annotation Options", "Annotation_Options");
5702        root.addChild(Annotation_Options_branch);
5703        parent = Annotation_Options_branch;
5704        
5705        SootOption Miscellaneous_Options_branch = new SootOption("Miscellaneous Options", "Miscellaneous_Options");
5706        root.addChild(Miscellaneous_Options_branch);
5707        parent = Miscellaneous_Options_branch;
5708        
5709
5710        addOtherBranches(root);
5711        return root;
5712    
5713    }
5714
5715
5716        
5717        
5718    private BooleanOptionWidget General_Optionshelp_widget;
5719    
5720    private void setGeneral_Optionshelp_widget(BooleanOptionWidget widget) {
5721        General_Optionshelp_widget = widget;
5722    }
5723    
5724    public BooleanOptionWidget getGeneral_Optionshelp_widget() {
5725        return General_Optionshelp_widget;
5726    }
5727    
5728    private BooleanOptionWidget General_Optionsphase_list_widget;
5729    
5730    private void setGeneral_Optionsphase_list_widget(BooleanOptionWidget widget) {
5731        General_Optionsphase_list_widget = widget;
5732    }
5733    
5734    public BooleanOptionWidget getGeneral_Optionsphase_list_widget() {
5735        return General_Optionsphase_list_widget;
5736    }
5737    
5738    private BooleanOptionWidget General_Optionsversion_widget;
5739    
5740    private void setGeneral_Optionsversion_widget(BooleanOptionWidget widget) {
5741        General_Optionsversion_widget = widget;
5742    }
5743    
5744    public BooleanOptionWidget getGeneral_Optionsversion_widget() {
5745        return General_Optionsversion_widget;
5746    }
5747    
5748    private BooleanOptionWidget General_Optionsverbose_widget;
5749    
5750    private void setGeneral_Optionsverbose_widget(BooleanOptionWidget widget) {
5751        General_Optionsverbose_widget = widget;
5752    }
5753    
5754    public BooleanOptionWidget getGeneral_Optionsverbose_widget() {
5755        return General_Optionsverbose_widget;
5756    }
5757    
5758    private BooleanOptionWidget General_Optionsinteractive_mode_widget;
5759    
5760    private void setGeneral_Optionsinteractive_mode_widget(BooleanOptionWidget widget) {
5761        General_Optionsinteractive_mode_widget = widget;
5762    }
5763    
5764    public BooleanOptionWidget getGeneral_Optionsinteractive_mode_widget() {
5765        return General_Optionsinteractive_mode_widget;
5766    }
5767    
5768    private BooleanOptionWidget General_Optionsapp_widget;
5769    
5770    private void setGeneral_Optionsapp_widget(BooleanOptionWidget widget) {
5771        General_Optionsapp_widget = widget;
5772    }
5773    
5774    public BooleanOptionWidget getGeneral_Optionsapp_widget() {
5775        return General_Optionsapp_widget;
5776    }
5777    
5778    private BooleanOptionWidget General_Optionswhole_program_widget;
5779    
5780    private void setGeneral_Optionswhole_program_widget(BooleanOptionWidget widget) {
5781        General_Optionswhole_program_widget = widget;
5782    }
5783    
5784    public BooleanOptionWidget getGeneral_Optionswhole_program_widget() {
5785        return General_Optionswhole_program_widget;
5786    }
5787    
5788    private BooleanOptionWidget General_Optionswhole_shimple_widget;
5789    
5790    private void setGeneral_Optionswhole_shimple_widget(BooleanOptionWidget widget) {
5791        General_Optionswhole_shimple_widget = widget;
5792    }
5793    
5794    public BooleanOptionWidget getGeneral_Optionswhole_shimple_widget() {
5795        return General_Optionswhole_shimple_widget;
5796    }
5797    
5798    private BooleanOptionWidget General_Optionsvalidate_widget;
5799    
5800    private void setGeneral_Optionsvalidate_widget(BooleanOptionWidget widget) {
5801        General_Optionsvalidate_widget = widget;
5802    }
5803    
5804    public BooleanOptionWidget getGeneral_Optionsvalidate_widget() {
5805        return General_Optionsvalidate_widget;
5806    }
5807    
5808    private BooleanOptionWidget General_Optionsdebug_widget;
5809    
5810    private void setGeneral_Optionsdebug_widget(BooleanOptionWidget widget) {
5811        General_Optionsdebug_widget = widget;
5812    }
5813    
5814    public BooleanOptionWidget getGeneral_Optionsdebug_widget() {
5815        return General_Optionsdebug_widget;
5816    }
5817    
5818    private BooleanOptionWidget General_Optionsdebug_resolver_widget;
5819    
5820    private void setGeneral_Optionsdebug_resolver_widget(BooleanOptionWidget widget) {
5821        General_Optionsdebug_resolver_widget = widget;
5822    }
5823    
5824    public BooleanOptionWidget getGeneral_Optionsdebug_resolver_widget() {
5825        return General_Optionsdebug_resolver_widget;
5826    }
5827    
5828
5829    private ListOptionWidget General_Optionsphase_help_widget;
5830    
5831    private void setGeneral_Optionsphase_help_widget(ListOptionWidget widget) {
5832        General_Optionsphase_help_widget = widget;
5833    }
5834    
5835    public ListOptionWidget getGeneral_Optionsphase_help_widget() {
5836        return General_Optionsphase_help_widget;
5837    }
5838    
5839    
5840    private BooleanOptionWidget Input_Optionsast_metrics_widget;
5841    
5842    private void setInput_Optionsast_metrics_widget(BooleanOptionWidget widget) {
5843        Input_Optionsast_metrics_widget = widget;
5844    }
5845    
5846    public BooleanOptionWidget getInput_Optionsast_metrics_widget() {
5847        return Input_Optionsast_metrics_widget;
5848    }
5849    
5850    private BooleanOptionWidget Input_Optionsfull_resolver_widget;
5851    
5852    private void setInput_Optionsfull_resolver_widget(BooleanOptionWidget widget) {
5853        Input_Optionsfull_resolver_widget = widget;
5854    }
5855    
5856    public BooleanOptionWidget getInput_Optionsfull_resolver_widget() {
5857        return Input_Optionsfull_resolver_widget;
5858    }
5859    
5860    private BooleanOptionWidget Input_Optionsallow_phantom_refs_widget;
5861    
5862    private void setInput_Optionsallow_phantom_refs_widget(BooleanOptionWidget widget) {
5863        Input_Optionsallow_phantom_refs_widget = widget;
5864    }
5865    
5866    public BooleanOptionWidget getInput_Optionsallow_phantom_refs_widget() {
5867        return Input_Optionsallow_phantom_refs_widget;
5868    }
5869    
5870    private BooleanOptionWidget Input_Optionsuse_old_type_assigner_widget;
5871    
5872    private void setInput_Optionsuse_old_type_assigner_widget(BooleanOptionWidget widget) {
5873        Input_Optionsuse_old_type_assigner_widget = widget;
5874    }
5875    
5876    public BooleanOptionWidget getInput_Optionsuse_old_type_assigner_widget() {
5877        return Input_Optionsuse_old_type_assigner_widget;
5878    }
5879    
5880
5881    private ListOptionWidget Input_Optionsprocess_dir_widget;
5882    
5883    private void setInput_Optionsprocess_dir_widget(ListOptionWidget widget) {
5884        Input_Optionsprocess_dir_widget = widget;
5885    }
5886    
5887    public ListOptionWidget getInput_Optionsprocess_dir_widget() {
5888        return Input_Optionsprocess_dir_widget;
5889    }
5890    
5891    
5892    
5893    private StringOptionWidget Input_Optionssoot_classpath_widget;
5894    
5895    private void setInput_Optionssoot_classpath_widget(StringOptionWidget widget) {
5896        Input_Optionssoot_classpath_widget = widget;
5897    }
5898    
5899    public StringOptionWidget getInput_Optionssoot_classpath_widget() {
5900        return Input_Optionssoot_classpath_widget;
5901    }
5902    
5903    
5904    
5905    private StringOptionWidget Input_Optionsmain_class_widget;
5906    
5907    private void setInput_Optionsmain_class_widget(StringOptionWidget widget) {
5908        Input_Optionsmain_class_widget = widget;
5909    }
5910    
5911    public StringOptionWidget getInput_Optionsmain_class_widget() {
5912        return Input_Optionsmain_class_widget;
5913    }
5914    
5915    
5916    
5917    private MultiOptionWidget Input_Optionssrc_prec_widget;
5918    
5919    private void setInput_Optionssrc_prec_widget(MultiOptionWidget widget) {
5920        Input_Optionssrc_prec_widget = widget;
5921    }
5922    
5923    public MultiOptionWidget getInput_Optionssrc_prec_widget() {
5924        return Input_Optionssrc_prec_widget;
5925    }
5926    
5927    
5928    private BooleanOptionWidget Output_Optionsoutput_jar_widget;
5929    
5930    private void setOutput_Optionsoutput_jar_widget(BooleanOptionWidget widget) {
5931        Output_Optionsoutput_jar_widget = widget;
5932    }
5933    
5934    public BooleanOptionWidget getOutput_Optionsoutput_jar_widget() {
5935        return Output_Optionsoutput_jar_widget;
5936    }
5937    
5938    private BooleanOptionWidget Output_Optionsxml_attributes_widget;
5939    
5940    private void setOutput_Optionsxml_attributes_widget(BooleanOptionWidget widget) {
5941        Output_Optionsxml_attributes_widget = widget;
5942    }
5943    
5944    public BooleanOptionWidget getOutput_Optionsxml_attributes_widget() {
5945        return Output_Optionsxml_attributes_widget;
5946    }
5947    
5948    private BooleanOptionWidget Output_Optionsprint_tags_in_output_widget;
5949    
5950    private void setOutput_Optionsprint_tags_in_output_widget(BooleanOptionWidget widget) {
5951        Output_Optionsprint_tags_in_output_widget = widget;
5952    }
5953    
5954    public BooleanOptionWidget getOutput_Optionsprint_tags_in_output_widget() {
5955        return Output_Optionsprint_tags_in_output_widget;
5956    }
5957    
5958    private BooleanOptionWidget Output_Optionsno_output_source_file_attribute_widget;
5959    
5960    private void setOutput_Optionsno_output_source_file_attribute_widget(BooleanOptionWidget widget) {
5961        Output_Optionsno_output_source_file_attribute_widget = widget;
5962    }
5963    
5964    public BooleanOptionWidget getOutput_Optionsno_output_source_file_attribute_widget() {
5965        return Output_Optionsno_output_source_file_attribute_widget;
5966    }
5967    
5968    private BooleanOptionWidget Output_Optionsno_output_inner_classes_attribute_widget;
5969    
5970    private void setOutput_Optionsno_output_inner_classes_attribute_widget(BooleanOptionWidget widget) {
5971        Output_Optionsno_output_inner_classes_attribute_widget = widget;
5972    }
5973    
5974    public BooleanOptionWidget getOutput_Optionsno_output_inner_classes_attribute_widget() {
5975        return Output_Optionsno_output_inner_classes_attribute_widget;
5976    }
5977    
5978    private BooleanOptionWidget Output_Optionsshow_exception_dests_widget;
5979    
5980    private void setOutput_Optionsshow_exception_dests_widget(BooleanOptionWidget widget) {
5981        Output_Optionsshow_exception_dests_widget = widget;
5982    }
5983    
5984    public BooleanOptionWidget getOutput_Optionsshow_exception_dests_widget() {
5985        return Output_Optionsshow_exception_dests_widget;
5986    }
5987    
5988    private BooleanOptionWidget Output_Optionsgzip_widget;
5989    
5990    private void setOutput_Optionsgzip_widget(BooleanOptionWidget widget) {
5991        Output_Optionsgzip_widget = widget;
5992    }
5993    
5994    public BooleanOptionWidget getOutput_Optionsgzip_widget() {
5995        return Output_Optionsgzip_widget;
5996    }
5997    
5998
5999    private ListOptionWidget Output_Optionsdump_body_widget;
6000    
6001    private void setOutput_Optionsdump_body_widget(ListOptionWidget widget) {
6002        Output_Optionsdump_body_widget = widget;
6003    }
6004    
6005    public ListOptionWidget getOutput_Optionsdump_body_widget() {
6006        return Output_Optionsdump_body_widget;
6007    }
6008    
6009    
6010
6011    private ListOptionWidget Output_Optionsdump_cfg_widget;
6012    
6013    private void setOutput_Optionsdump_cfg_widget(ListOptionWidget widget) {
6014        Output_Optionsdump_cfg_widget = widget;
6015    }
6016    
6017    public ListOptionWidget getOutput_Optionsdump_cfg_widget() {
6018        return Output_Optionsdump_cfg_widget;
6019    }
6020    
6021    
6022    
6023    private StringOptionWidget Output_Optionsoutput_dir_widget;
6024    
6025    private void setOutput_Optionsoutput_dir_widget(StringOptionWidget widget) {
6026        Output_Optionsoutput_dir_widget = widget;
6027    }
6028    
6029    public StringOptionWidget getOutput_Optionsoutput_dir_widget() {
6030        return Output_Optionsoutput_dir_widget;
6031    }
6032    
6033    
6034    
6035    private MultiOptionWidget Output_Optionsoutput_format_widget;
6036    
6037    private void setOutput_Optionsoutput_format_widget(MultiOptionWidget widget) {
6038        Output_Optionsoutput_format_widget = widget;
6039    }
6040    
6041    public MultiOptionWidget getOutput_Optionsoutput_format_widget() {
6042        return Output_Optionsoutput_format_widget;
6043    }
6044    
6045    
6046    private BooleanOptionWidget Processing_Optionsoptimize_widget;
6047    
6048    private void setProcessing_Optionsoptimize_widget(BooleanOptionWidget widget) {
6049        Processing_Optionsoptimize_widget = widget;
6050    }
6051    
6052    public BooleanOptionWidget getProcessing_Optionsoptimize_widget() {
6053        return Processing_Optionsoptimize_widget;
6054    }
6055    
6056    private BooleanOptionWidget Processing_Optionswhole_optimize_widget;
6057    
6058    private void setProcessing_Optionswhole_optimize_widget(BooleanOptionWidget widget) {
6059        Processing_Optionswhole_optimize_widget = widget;
6060    }
6061    
6062    public BooleanOptionWidget getProcessing_Optionswhole_optimize_widget() {
6063        return Processing_Optionswhole_optimize_widget;
6064    }
6065    
6066    private BooleanOptionWidget Processing_Optionsvia_grimp_widget;
6067    
6068    private void setProcessing_Optionsvia_grimp_widget(BooleanOptionWidget widget) {
6069        Processing_Optionsvia_grimp_widget = widget;
6070    }
6071    
6072    public BooleanOptionWidget getProcessing_Optionsvia_grimp_widget() {
6073        return Processing_Optionsvia_grimp_widget;
6074    }
6075    
6076    private BooleanOptionWidget Processing_Optionsvia_shimple_widget;
6077    
6078    private void setProcessing_Optionsvia_shimple_widget(BooleanOptionWidget widget) {
6079        Processing_Optionsvia_shimple_widget = widget;
6080    }
6081    
6082    public BooleanOptionWidget getProcessing_Optionsvia_shimple_widget() {
6083        return Processing_Optionsvia_shimple_widget;
6084    }
6085    
6086    private BooleanOptionWidget Processing_Optionsomit_excepting_unit_edges_widget;
6087    
6088    private void setProcessing_Optionsomit_excepting_unit_edges_widget(BooleanOptionWidget widget) {
6089        Processing_Optionsomit_excepting_unit_edges_widget = widget;
6090    }
6091    
6092    public BooleanOptionWidget getProcessing_Optionsomit_excepting_unit_edges_widget() {
6093        return Processing_Optionsomit_excepting_unit_edges_widget;
6094    }
6095    
6096    private BooleanOptionWidget Processing_Optionstrim_cfgs_widget;
6097    
6098    private void setProcessing_Optionstrim_cfgs_widget(BooleanOptionWidget widget) {
6099        Processing_Optionstrim_cfgs_widget = widget;
6100    }
6101    
6102    public BooleanOptionWidget getProcessing_Optionstrim_cfgs_widget() {
6103        return Processing_Optionstrim_cfgs_widget;
6104    }
6105    
6106    
6107    private MultiOptionWidget Processing_Optionsthrow_analysis_widget;
6108    
6109    private void setProcessing_Optionsthrow_analysis_widget(MultiOptionWidget widget) {
6110        Processing_Optionsthrow_analysis_widget = widget;
6111    }
6112    
6113    public MultiOptionWidget getProcessing_Optionsthrow_analysis_widget() {
6114        return Processing_Optionsthrow_analysis_widget;
6115    }
6116    
6117    
6118    private BooleanOptionWidget jbenabled_widget;
6119    
6120    private void setjbenabled_widget(BooleanOptionWidget widget) {
6121        jbenabled_widget = widget;
6122    }
6123    
6124    public BooleanOptionWidget getjbenabled_widget() {
6125        return jbenabled_widget;
6126    }
6127    
6128    private BooleanOptionWidget jbuse_original_names_widget;
6129    
6130    private void setjbuse_original_names_widget(BooleanOptionWidget widget) {
6131        jbuse_original_names_widget = widget;
6132    }
6133    
6134    public BooleanOptionWidget getjbuse_original_names_widget() {
6135        return jbuse_original_names_widget;
6136    }
6137    
6138    private BooleanOptionWidget jbjb_lsenabled_widget;
6139    
6140    private void setjbjb_lsenabled_widget(BooleanOptionWidget widget) {
6141        jbjb_lsenabled_widget = widget;
6142    }
6143    
6144    public BooleanOptionWidget getjbjb_lsenabled_widget() {
6145        return jbjb_lsenabled_widget;
6146    }
6147    
6148    private BooleanOptionWidget jbjb_aenabled_widget;
6149    
6150    private void setjbjb_aenabled_widget(BooleanOptionWidget widget) {
6151        jbjb_aenabled_widget = widget;
6152    }
6153    
6154    public BooleanOptionWidget getjbjb_aenabled_widget() {
6155        return jbjb_aenabled_widget;
6156    }
6157    
6158    private BooleanOptionWidget jbjb_aonly_stack_locals_widget;
6159    
6160    private void setjbjb_aonly_stack_locals_widget(BooleanOptionWidget widget) {
6161        jbjb_aonly_stack_locals_widget = widget;
6162    }
6163    
6164    public BooleanOptionWidget getjbjb_aonly_stack_locals_widget() {
6165        return jbjb_aonly_stack_locals_widget;
6166    }
6167    
6168    private BooleanOptionWidget jbjb_uleenabled_widget;
6169    
6170    private void setjbjb_uleenabled_widget(BooleanOptionWidget widget) {
6171        jbjb_uleenabled_widget = widget;
6172    }
6173    
6174    public BooleanOptionWidget getjbjb_uleenabled_widget() {
6175        return jbjb_uleenabled_widget;
6176    }
6177    
6178    private BooleanOptionWidget jbjb_trenabled_widget;
6179    
6180    private void setjbjb_trenabled_widget(BooleanOptionWidget widget) {
6181        jbjb_trenabled_widget = widget;
6182    }
6183    
6184    public BooleanOptionWidget getjbjb_trenabled_widget() {
6185        return jbjb_trenabled_widget;
6186    }
6187    
6188    private BooleanOptionWidget jbjb_ulpenabled_widget;
6189    
6190    private void setjbjb_ulpenabled_widget(BooleanOptionWidget widget) {
6191        jbjb_ulpenabled_widget = widget;
6192    }
6193    
6194    public BooleanOptionWidget getjbjb_ulpenabled_widget() {
6195        return jbjb_ulpenabled_widget;
6196    }
6197    
6198    private BooleanOptionWidget jbjb_ulpunsplit_original_locals_widget;
6199    
6200    private void setjbjb_ulpunsplit_original_locals_widget(BooleanOptionWidget widget) {
6201        jbjb_ulpunsplit_original_locals_widget = widget;
6202    }
6203    
6204    public BooleanOptionWidget getjbjb_ulpunsplit_original_locals_widget() {
6205        return jbjb_ulpunsplit_original_locals_widget;
6206    }
6207    
6208    private BooleanOptionWidget jbjb_lnsenabled_widget;
6209    
6210    private void setjbjb_lnsenabled_widget(BooleanOptionWidget widget) {
6211        jbjb_lnsenabled_widget = widget;
6212    }
6213    
6214    public BooleanOptionWidget getjbjb_lnsenabled_widget() {
6215        return jbjb_lnsenabled_widget;
6216    }
6217    
6218    private BooleanOptionWidget jbjb_lnsonly_stack_locals_widget;
6219    
6220    private void setjbjb_lnsonly_stack_locals_widget(BooleanOptionWidget widget) {
6221        jbjb_lnsonly_stack_locals_widget = widget;
6222    }
6223    
6224    public BooleanOptionWidget getjbjb_lnsonly_stack_locals_widget() {
6225        return jbjb_lnsonly_stack_locals_widget;
6226    }
6227    
6228    private BooleanOptionWidget jbjb_cpenabled_widget;
6229    
6230    private void setjbjb_cpenabled_widget(BooleanOptionWidget widget) {
6231        jbjb_cpenabled_widget = widget;
6232    }
6233    
6234    public BooleanOptionWidget getjbjb_cpenabled_widget() {
6235        return jbjb_cpenabled_widget;
6236    }
6237    
6238    private BooleanOptionWidget jbjb_cponly_regular_locals_widget;
6239    
6240    private void setjbjb_cponly_regular_locals_widget(BooleanOptionWidget widget) {
6241        jbjb_cponly_regular_locals_widget = widget;
6242    }
6243    
6244    public BooleanOptionWidget getjbjb_cponly_regular_locals_widget() {
6245        return jbjb_cponly_regular_locals_widget;
6246    }
6247    
6248    private BooleanOptionWidget jbjb_cponly_stack_locals_widget;
6249    
6250    private void setjbjb_cponly_stack_locals_widget(BooleanOptionWidget widget) {
6251        jbjb_cponly_stack_locals_widget = widget;
6252    }
6253    
6254    public BooleanOptionWidget getjbjb_cponly_stack_locals_widget() {
6255        return jbjb_cponly_stack_locals_widget;
6256    }
6257    
6258    private BooleanOptionWidget jbjb_daeenabled_widget;
6259    
6260    private void setjbjb_daeenabled_widget(BooleanOptionWidget widget) {
6261        jbjb_daeenabled_widget = widget;
6262    }
6263    
6264    public BooleanOptionWidget getjbjb_daeenabled_widget() {
6265        return jbjb_daeenabled_widget;
6266    }
6267    
6268    private BooleanOptionWidget jbjb_daeonly_stack_locals_widget;
6269    
6270    private void setjbjb_daeonly_stack_locals_widget(BooleanOptionWidget widget) {
6271        jbjb_daeonly_stack_locals_widget = widget;
6272    }
6273    
6274    public BooleanOptionWidget getjbjb_daeonly_stack_locals_widget() {
6275        return jbjb_daeonly_stack_locals_widget;
6276    }
6277    
6278    private BooleanOptionWidget jbjb_cp_uleenabled_widget;
6279    
6280    private void setjbjb_cp_uleenabled_widget(BooleanOptionWidget widget) {
6281        jbjb_cp_uleenabled_widget = widget;
6282    }
6283    
6284    public BooleanOptionWidget getjbjb_cp_uleenabled_widget() {
6285        return jbjb_cp_uleenabled_widget;
6286    }
6287    
6288    private BooleanOptionWidget jbjb_lpenabled_widget;
6289    
6290    private void setjbjb_lpenabled_widget(BooleanOptionWidget widget) {
6291        jbjb_lpenabled_widget = widget;
6292    }
6293    
6294    public BooleanOptionWidget getjbjb_lpenabled_widget() {
6295        return jbjb_lpenabled_widget;
6296    }
6297    
6298    private BooleanOptionWidget jbjb_lpunsplit_original_locals_widget;
6299    
6300    private void setjbjb_lpunsplit_original_locals_widget(BooleanOptionWidget widget) {
6301        jbjb_lpunsplit_original_locals_widget = widget;
6302    }
6303    
6304    public BooleanOptionWidget getjbjb_lpunsplit_original_locals_widget() {
6305        return jbjb_lpunsplit_original_locals_widget;
6306    }
6307    
6308    private BooleanOptionWidget jbjb_neenabled_widget;
6309    
6310    private void setjbjb_neenabled_widget(BooleanOptionWidget widget) {
6311        jbjb_neenabled_widget = widget;
6312    }
6313    
6314    public BooleanOptionWidget getjbjb_neenabled_widget() {
6315        return jbjb_neenabled_widget;
6316    }
6317    
6318    private BooleanOptionWidget jbjb_uceenabled_widget;
6319    
6320    private void setjbjb_uceenabled_widget(BooleanOptionWidget widget) {
6321        jbjb_uceenabled_widget = widget;
6322    }
6323    
6324    public BooleanOptionWidget getjbjb_uceenabled_widget() {
6325        return jbjb_uceenabled_widget;
6326    }
6327    
6328    private BooleanOptionWidget jbjb_uceremove_unreachable_traps_widget;
6329    
6330    private void setjbjb_uceremove_unreachable_traps_widget(BooleanOptionWidget widget) {
6331        jbjb_uceremove_unreachable_traps_widget = widget;
6332    }
6333    
6334    public BooleanOptionWidget getjbjb_uceremove_unreachable_traps_widget() {
6335        return jbjb_uceremove_unreachable_traps_widget;
6336    }
6337    
6338    private BooleanOptionWidget jbjb_ttenabled_widget;
6339    
6340    private void setjbjb_ttenabled_widget(BooleanOptionWidget widget) {
6341        jbjb_ttenabled_widget = widget;
6342    }
6343    
6344    public BooleanOptionWidget getjbjb_ttenabled_widget() {
6345        return jbjb_ttenabled_widget;
6346    }
6347    
6348    private BooleanOptionWidget jjenabled_widget;
6349    
6350    private void setjjenabled_widget(BooleanOptionWidget widget) {
6351        jjenabled_widget = widget;
6352    }
6353    
6354    public BooleanOptionWidget getjjenabled_widget() {
6355        return jjenabled_widget;
6356    }
6357    
6358    private BooleanOptionWidget jjuse_original_names_widget;
6359    
6360    private void setjjuse_original_names_widget(BooleanOptionWidget widget) {
6361        jjuse_original_names_widget = widget;
6362    }
6363    
6364    public BooleanOptionWidget getjjuse_original_names_widget() {
6365        return jjuse_original_names_widget;
6366    }
6367    
6368    private BooleanOptionWidget jjjj_lsenabled_widget;
6369    
6370    private void setjjjj_lsenabled_widget(BooleanOptionWidget widget) {
6371        jjjj_lsenabled_widget = widget;
6372    }
6373    
6374    public BooleanOptionWidget getjjjj_lsenabled_widget() {
6375        return jjjj_lsenabled_widget;
6376    }
6377    
6378    private BooleanOptionWidget jjjj_aenabled_widget;
6379    
6380    private void setjjjj_aenabled_widget(BooleanOptionWidget widget) {
6381        jjjj_aenabled_widget = widget;
6382    }
6383    
6384    public BooleanOptionWidget getjjjj_aenabled_widget() {
6385        return jjjj_aenabled_widget;
6386    }
6387    
6388    private BooleanOptionWidget jjjj_aonly_stack_locals_widget;
6389    
6390    private void setjjjj_aonly_stack_locals_widget(BooleanOptionWidget widget) {
6391        jjjj_aonly_stack_locals_widget = widget;
6392    }
6393    
6394    public BooleanOptionWidget getjjjj_aonly_stack_locals_widget() {
6395        return jjjj_aonly_stack_locals_widget;
6396    }
6397    
6398    private BooleanOptionWidget jjjj_uleenabled_widget;
6399    
6400    private void setjjjj_uleenabled_widget(BooleanOptionWidget widget) {
6401        jjjj_uleenabled_widget = widget;
6402    }
6403    
6404    public BooleanOptionWidget getjjjj_uleenabled_widget() {
6405        return jjjj_uleenabled_widget;
6406    }
6407    
6408    private BooleanOptionWidget jjjj_trenabled_widget;
6409    
6410    private void setjjjj_trenabled_widget(BooleanOptionWidget widget) {
6411        jjjj_trenabled_widget = widget;
6412    }
6413    
6414    public BooleanOptionWidget getjjjj_trenabled_widget() {
6415        return jjjj_trenabled_widget;
6416    }
6417    
6418    private BooleanOptionWidget jjjj_ulpenabled_widget;
6419    
6420    private void setjjjj_ulpenabled_widget(BooleanOptionWidget widget) {
6421        jjjj_ulpenabled_widget = widget;
6422    }
6423    
6424    public BooleanOptionWidget getjjjj_ulpenabled_widget() {
6425        return jjjj_ulpenabled_widget;
6426    }
6427    
6428    private BooleanOptionWidget jjjj_ulpunsplit_original_locals_widget;
6429    
6430    private void setjjjj_ulpunsplit_original_locals_widget(BooleanOptionWidget widget) {
6431        jjjj_ulpunsplit_original_locals_widget = widget;
6432    }
6433    
6434    public BooleanOptionWidget getjjjj_ulpunsplit_original_locals_widget() {
6435        return jjjj_ulpunsplit_original_locals_widget;
6436    }
6437    
6438    private BooleanOptionWidget jjjj_lnsenabled_widget;
6439    
6440    private void setjjjj_lnsenabled_widget(BooleanOptionWidget widget) {
6441        jjjj_lnsenabled_widget = widget;
6442    }
6443    
6444    public BooleanOptionWidget getjjjj_lnsenabled_widget() {
6445        return jjjj_lnsenabled_widget;
6446    }
6447    
6448    private BooleanOptionWidget jjjj_lnsonly_stack_locals_widget;
6449    
6450    private void setjjjj_lnsonly_stack_locals_widget(BooleanOptionWidget widget) {
6451        jjjj_lnsonly_stack_locals_widget = widget;
6452    }
6453    
6454    public BooleanOptionWidget getjjjj_lnsonly_stack_locals_widget() {
6455        return jjjj_lnsonly_stack_locals_widget;
6456    }
6457    
6458    private BooleanOptionWidget jjjj_cpenabled_widget;
6459    
6460    private void setjjjj_cpenabled_widget(BooleanOptionWidget widget) {
6461        jjjj_cpenabled_widget = widget;
6462    }
6463    
6464    public BooleanOptionWidget getjjjj_cpenabled_widget() {
6465        return jjjj_cpenabled_widget;
6466    }
6467    
6468    private BooleanOptionWidget jjjj_cponly_regular_locals_widget;
6469    
6470    private void setjjjj_cponly_regular_locals_widget(BooleanOptionWidget widget) {
6471        jjjj_cponly_regular_locals_widget = widget;
6472    }
6473    
6474    public BooleanOptionWidget getjjjj_cponly_regular_locals_widget() {
6475        return jjjj_cponly_regular_locals_widget;
6476    }
6477    
6478    private BooleanOptionWidget jjjj_cponly_stack_locals_widget;
6479    
6480    private void setjjjj_cponly_stack_locals_widget(BooleanOptionWidget widget) {
6481        jjjj_cponly_stack_locals_widget = widget;
6482    }
6483    
6484    public BooleanOptionWidget getjjjj_cponly_stack_locals_widget() {
6485        return jjjj_cponly_stack_locals_widget;
6486    }
6487    
6488    private BooleanOptionWidget jjjj_daeenabled_widget;
6489    
6490    private void setjjjj_daeenabled_widget(BooleanOptionWidget widget) {
6491        jjjj_daeenabled_widget = widget;
6492    }
6493    
6494    public BooleanOptionWidget getjjjj_daeenabled_widget() {
6495        return jjjj_daeenabled_widget;
6496    }
6497    
6498    private BooleanOptionWidget jjjj_daeonly_stack_locals_widget;
6499    
6500    private void setjjjj_daeonly_stack_locals_widget(BooleanOptionWidget widget) {
6501        jjjj_daeonly_stack_locals_widget = widget;
6502    }
6503    
6504    public BooleanOptionWidget getjjjj_daeonly_stack_locals_widget() {
6505        return jjjj_daeonly_stack_locals_widget;
6506    }
6507    
6508    private BooleanOptionWidget jjjj_cp_uleenabled_widget;
6509    
6510    private void setjjjj_cp_uleenabled_widget(BooleanOptionWidget widget) {
6511        jjjj_cp_uleenabled_widget = widget;
6512    }
6513    
6514    public BooleanOptionWidget getjjjj_cp_uleenabled_widget() {
6515        return jjjj_cp_uleenabled_widget;
6516    }
6517    
6518    private BooleanOptionWidget jjjj_lpenabled_widget;
6519    
6520    private void setjjjj_lpenabled_widget(BooleanOptionWidget widget) {
6521        jjjj_lpenabled_widget = widget;
6522    }
6523    
6524    public BooleanOptionWidget getjjjj_lpenabled_widget() {
6525        return jjjj_lpenabled_widget;
6526    }
6527    
6528    private BooleanOptionWidget jjjj_lpunsplit_original_locals_widget;
6529    
6530    private void setjjjj_lpunsplit_original_locals_widget(BooleanOptionWidget widget) {
6531        jjjj_lpunsplit_original_locals_widget = widget;
6532    }
6533    
6534    public BooleanOptionWidget getjjjj_lpunsplit_original_locals_widget() {
6535        return jjjj_lpunsplit_original_locals_widget;
6536    }
6537    
6538    private BooleanOptionWidget jjjj_neenabled_widget;
6539    
6540    private void setjjjj_neenabled_widget(BooleanOptionWidget widget) {
6541        jjjj_neenabled_widget = widget;
6542    }
6543    
6544    public BooleanOptionWidget getjjjj_neenabled_widget() {
6545        return jjjj_neenabled_widget;
6546    }
6547    
6548    private BooleanOptionWidget jjjj_uceenabled_widget;
6549    
6550    private void setjjjj_uceenabled_widget(BooleanOptionWidget widget) {
6551        jjjj_uceenabled_widget = widget;
6552    }
6553    
6554    public BooleanOptionWidget getjjjj_uceenabled_widget() {
6555        return jjjj_uceenabled_widget;
6556    }
6557    
6558    private BooleanOptionWidget cgenabled_widget;
6559    
6560    private void setcgenabled_widget(BooleanOptionWidget widget) {
6561        cgenabled_widget = widget;
6562    }
6563    
6564    public BooleanOptionWidget getcgenabled_widget() {
6565        return cgenabled_widget;
6566    }
6567    
6568    private BooleanOptionWidget cgsafe_forname_widget;
6569    
6570    private void setcgsafe_forname_widget(BooleanOptionWidget widget) {
6571        cgsafe_forname_widget = widget;
6572    }
6573    
6574    public BooleanOptionWidget getcgsafe_forname_widget() {
6575        return cgsafe_forname_widget;
6576    }
6577    
6578    private BooleanOptionWidget cgsafe_newinstance_widget;
6579    
6580    private void setcgsafe_newinstance_widget(BooleanOptionWidget widget) {
6581        cgsafe_newinstance_widget = widget;
6582    }
6583    
6584    public BooleanOptionWidget getcgsafe_newinstance_widget() {
6585        return cgsafe_newinstance_widget;
6586    }
6587    
6588    private BooleanOptionWidget cgverbose_widget;
6589    
6590    private void setcgverbose_widget(BooleanOptionWidget widget) {
6591        cgverbose_widget = widget;
6592    }
6593    
6594    public BooleanOptionWidget getcgverbose_widget() {
6595        return cgverbose_widget;
6596    }
6597    
6598    private BooleanOptionWidget cgall_reachable_widget;
6599    
6600    private void setcgall_reachable_widget(BooleanOptionWidget widget) {
6601        cgall_reachable_widget = widget;
6602    }
6603    
6604    public BooleanOptionWidget getcgall_reachable_widget() {
6605        return cgall_reachable_widget;
6606    }
6607    
6608    private BooleanOptionWidget cgimplicit_entry_widget;
6609    
6610    private void setcgimplicit_entry_widget(BooleanOptionWidget widget) {
6611        cgimplicit_entry_widget = widget;
6612    }
6613    
6614    public BooleanOptionWidget getcgimplicit_entry_widget() {
6615        return cgimplicit_entry_widget;
6616    }
6617    
6618    private BooleanOptionWidget cgtrim_clinit_widget;
6619    
6620    private void setcgtrim_clinit_widget(BooleanOptionWidget widget) {
6621        cgtrim_clinit_widget = widget;
6622    }
6623    
6624    public BooleanOptionWidget getcgtrim_clinit_widget() {
6625        return cgtrim_clinit_widget;
6626    }
6627    
6628    
6629    private StringOptionWidget cgjdkver_widget;
6630    
6631    private void setcgjdkver_widget(StringOptionWidget widget) {
6632        cgjdkver_widget = widget;
6633    }
6634    
6635    public StringOptionWidget getcgjdkver_widget() {
6636        return cgjdkver_widget;
6637    }
6638    
6639    
6640    private BooleanOptionWidget cgcg_chaenabled_widget;
6641    
6642    private void setcgcg_chaenabled_widget(BooleanOptionWidget widget) {
6643        cgcg_chaenabled_widget = widget;
6644    }
6645    
6646    public BooleanOptionWidget getcgcg_chaenabled_widget() {
6647        return cgcg_chaenabled_widget;
6648    }
6649    
6650    private BooleanOptionWidget cgcg_chaverbose_widget;
6651    
6652    private void setcgcg_chaverbose_widget(BooleanOptionWidget widget) {
6653        cgcg_chaverbose_widget = widget;
6654    }
6655    
6656    public BooleanOptionWidget getcgcg_chaverbose_widget() {
6657        return cgcg_chaverbose_widget;
6658    }
6659    
6660    private BooleanOptionWidget cgcg_sparkenabled_widget;
6661    
6662    private void setcgcg_sparkenabled_widget(BooleanOptionWidget widget) {
6663        cgcg_sparkenabled_widget = widget;
6664    }
6665    
6666    public BooleanOptionWidget getcgcg_sparkenabled_widget() {
6667        return cgcg_sparkenabled_widget;
6668    }
6669    
6670    private BooleanOptionWidget cgcg_sparkverbose_widget;
6671    
6672    private void setcgcg_sparkverbose_widget(BooleanOptionWidget widget) {
6673        cgcg_sparkverbose_widget = widget;
6674    }
6675    
6676    public BooleanOptionWidget getcgcg_sparkverbose_widget() {
6677        return cgcg_sparkverbose_widget;
6678    }
6679    
6680    private BooleanOptionWidget cgcg_sparkignore_types_widget;
6681    
6682    private void setcgcg_sparkignore_types_widget(BooleanOptionWidget widget) {
6683        cgcg_sparkignore_types_widget = widget;
6684    }
6685    
6686    public BooleanOptionWidget getcgcg_sparkignore_types_widget() {
6687        return cgcg_sparkignore_types_widget;
6688    }
6689    
6690    private BooleanOptionWidget cgcg_sparkforce_gc_widget;
6691    
6692    private void setcgcg_sparkforce_gc_widget(BooleanOptionWidget widget) {
6693        cgcg_sparkforce_gc_widget = widget;
6694    }
6695    
6696    public BooleanOptionWidget getcgcg_sparkforce_gc_widget() {
6697        return cgcg_sparkforce_gc_widget;
6698    }
6699    
6700    private BooleanOptionWidget cgcg_sparkpre_jimplify_widget;
6701    
6702    private void setcgcg_sparkpre_jimplify_widget(BooleanOptionWidget widget) {
6703        cgcg_sparkpre_jimplify_widget = widget;
6704    }
6705    
6706    public BooleanOptionWidget getcgcg_sparkpre_jimplify_widget() {
6707        return cgcg_sparkpre_jimplify_widget;
6708    }
6709    
6710    private BooleanOptionWidget cgcg_sparkvta_widget;
6711    
6712    private void setcgcg_sparkvta_widget(BooleanOptionWidget widget) {
6713        cgcg_sparkvta_widget = widget;
6714    }
6715    
6716    public BooleanOptionWidget getcgcg_sparkvta_widget() {
6717        return cgcg_sparkvta_widget;
6718    }
6719    
6720    private BooleanOptionWidget cgcg_sparkrta_widget;
6721    
6722    private void setcgcg_sparkrta_widget(BooleanOptionWidget widget) {
6723        cgcg_sparkrta_widget = widget;
6724    }
6725    
6726    public BooleanOptionWidget getcgcg_sparkrta_widget() {
6727        return cgcg_sparkrta_widget;
6728    }
6729    
6730    private BooleanOptionWidget cgcg_sparkfield_based_widget;
6731    
6732    private void setcgcg_sparkfield_based_widget(BooleanOptionWidget widget) {
6733        cgcg_sparkfield_based_widget = widget;
6734    }
6735    
6736    public BooleanOptionWidget getcgcg_sparkfield_based_widget() {
6737        return cgcg_sparkfield_based_widget;
6738    }
6739    
6740    private BooleanOptionWidget cgcg_sparktypes_for_sites_widget;
6741    
6742    private void setcgcg_sparktypes_for_sites_widget(BooleanOptionWidget widget) {
6743        cgcg_sparktypes_for_sites_widget = widget;
6744    }
6745    
6746    public BooleanOptionWidget getcgcg_sparktypes_for_sites_widget() {
6747        return cgcg_sparktypes_for_sites_widget;
6748    }
6749    
6750    private BooleanOptionWidget cgcg_sparkmerge_stringbuffer_widget;
6751    
6752    private void setcgcg_sparkmerge_stringbuffer_widget(BooleanOptionWidget widget) {
6753        cgcg_sparkmerge_stringbuffer_widget = widget;
6754    }
6755    
6756    public BooleanOptionWidget getcgcg_sparkmerge_stringbuffer_widget() {
6757        return cgcg_sparkmerge_stringbuffer_widget;
6758    }
6759    
6760    private BooleanOptionWidget cgcg_sparkstring_constants_widget;
6761    
6762    private void setcgcg_sparkstring_constants_widget(BooleanOptionWidget widget) {
6763        cgcg_sparkstring_constants_widget = widget;
6764    }
6765    
6766    public BooleanOptionWidget getcgcg_sparkstring_constants_widget() {
6767        return cgcg_sparkstring_constants_widget;
6768    }
6769    
6770    private BooleanOptionWidget cgcg_sparksimulate_natives_widget;
6771    
6772    private void setcgcg_sparksimulate_natives_widget(BooleanOptionWidget widget) {
6773        cgcg_sparksimulate_natives_widget = widget;
6774    }
6775    
6776    public BooleanOptionWidget getcgcg_sparksimulate_natives_widget() {
6777        return cgcg_sparksimulate_natives_widget;
6778    }
6779    
6780    private BooleanOptionWidget cgcg_sparksimple_edges_bidirectional_widget;
6781    
6782    private void setcgcg_sparksimple_edges_bidirectional_widget(BooleanOptionWidget widget) {
6783        cgcg_sparksimple_edges_bidirectional_widget = widget;
6784    }
6785    
6786    public BooleanOptionWidget getcgcg_sparksimple_edges_bidirectional_widget() {
6787        return cgcg_sparksimple_edges_bidirectional_widget;
6788    }
6789    
6790    private BooleanOptionWidget cgcg_sparkon_fly_cg_widget;
6791    
6792    private void setcgcg_sparkon_fly_cg_widget(BooleanOptionWidget widget) {
6793        cgcg_sparkon_fly_cg_widget = widget;
6794    }
6795    
6796    public BooleanOptionWidget getcgcg_sparkon_fly_cg_widget() {
6797        return cgcg_sparkon_fly_cg_widget;
6798    }
6799    
6800    private BooleanOptionWidget cgcg_sparksimplify_offline_widget;
6801    
6802    private void setcgcg_sparksimplify_offline_widget(BooleanOptionWidget widget) {
6803        cgcg_sparksimplify_offline_widget = widget;
6804    }
6805    
6806    public BooleanOptionWidget getcgcg_sparksimplify_offline_widget() {
6807        return cgcg_sparksimplify_offline_widget;
6808    }
6809    
6810    private BooleanOptionWidget cgcg_sparksimplify_sccs_widget;
6811    
6812    private void setcgcg_sparksimplify_sccs_widget(BooleanOptionWidget widget) {
6813        cgcg_sparksimplify_sccs_widget = widget;
6814    }
6815    
6816    public BooleanOptionWidget getcgcg_sparksimplify_sccs_widget() {
6817        return cgcg_sparksimplify_sccs_widget;
6818    }
6819    
6820    private BooleanOptionWidget cgcg_sparkignore_types_for_sccs_widget;
6821    
6822    private void setcgcg_sparkignore_types_for_sccs_widget(BooleanOptionWidget widget) {
6823        cgcg_sparkignore_types_for_sccs_widget = widget;
6824    }
6825    
6826    public BooleanOptionWidget getcgcg_sparkignore_types_for_sccs_widget() {
6827        return cgcg_sparkignore_types_for_sccs_widget;
6828    }
6829    
6830    
6831    private MultiOptionWidget cgcg_sparkpropagator_widget;
6832    
6833    private void setcgcg_sparkpropagator_widget(MultiOptionWidget widget) {
6834        cgcg_sparkpropagator_widget = widget;
6835    }
6836    
6837    public MultiOptionWidget getcgcg_sparkpropagator_widget() {
6838        return cgcg_sparkpropagator_widget;
6839    }
6840    
6841    
6842    
6843    private MultiOptionWidget cgcg_sparkset_impl_widget;
6844    
6845    private void setcgcg_sparkset_impl_widget(MultiOptionWidget widget) {
6846        cgcg_sparkset_impl_widget = widget;
6847    }
6848    
6849    public MultiOptionWidget getcgcg_sparkset_impl_widget() {
6850        return cgcg_sparkset_impl_widget;
6851    }
6852    
6853    
6854    
6855    private MultiOptionWidget cgcg_sparkdouble_set_old_widget;
6856    
6857    private void setcgcg_sparkdouble_set_old_widget(MultiOptionWidget widget) {
6858        cgcg_sparkdouble_set_old_widget = widget;
6859    }
6860    
6861    public MultiOptionWidget getcgcg_sparkdouble_set_old_widget() {
6862        return cgcg_sparkdouble_set_old_widget;
6863    }
6864    
6865    
6866    
6867    private MultiOptionWidget cgcg_sparkdouble_set_new_widget;
6868    
6869    private void setcgcg_sparkdouble_set_new_widget(MultiOptionWidget widget) {
6870        cgcg_sparkdouble_set_new_widget = widget;
6871    }
6872    
6873    public MultiOptionWidget getcgcg_sparkdouble_set_new_widget() {
6874        return cgcg_sparkdouble_set_new_widget;
6875    }
6876    
6877    
6878    private BooleanOptionWidget cgcg_sparkdump_html_widget;
6879    
6880    private void setcgcg_sparkdump_html_widget(BooleanOptionWidget widget) {
6881        cgcg_sparkdump_html_widget = widget;
6882    }
6883    
6884    public BooleanOptionWidget getcgcg_sparkdump_html_widget() {
6885        return cgcg_sparkdump_html_widget;
6886    }
6887    
6888    private BooleanOptionWidget cgcg_sparkdump_pag_widget;
6889    
6890    private void setcgcg_sparkdump_pag_widget(BooleanOptionWidget widget) {
6891        cgcg_sparkdump_pag_widget = widget;
6892    }
6893    
6894    public BooleanOptionWidget getcgcg_sparkdump_pag_widget() {
6895        return cgcg_sparkdump_pag_widget;
6896    }
6897    
6898    private BooleanOptionWidget cgcg_sparkdump_solution_widget;
6899    
6900    private void setcgcg_sparkdump_solution_widget(BooleanOptionWidget widget) {
6901        cgcg_sparkdump_solution_widget = widget;
6902    }
6903    
6904    public BooleanOptionWidget getcgcg_sparkdump_solution_widget() {
6905        return cgcg_sparkdump_solution_widget;
6906    }
6907    
6908    private BooleanOptionWidget cgcg_sparktopo_sort_widget;
6909    
6910    private void setcgcg_sparktopo_sort_widget(BooleanOptionWidget widget) {
6911        cgcg_sparktopo_sort_widget = widget;
6912    }
6913    
6914    public BooleanOptionWidget getcgcg_sparktopo_sort_widget() {
6915        return cgcg_sparktopo_sort_widget;
6916    }
6917    
6918    private BooleanOptionWidget cgcg_sparkdump_types_widget;
6919    
6920    private void setcgcg_sparkdump_types_widget(BooleanOptionWidget widget) {
6921        cgcg_sparkdump_types_widget = widget;
6922    }
6923    
6924    public BooleanOptionWidget getcgcg_sparkdump_types_widget() {
6925        return cgcg_sparkdump_types_widget;
6926    }
6927    
6928    private BooleanOptionWidget cgcg_sparkclass_method_var_widget;
6929    
6930    private void setcgcg_sparkclass_method_var_widget(BooleanOptionWidget widget) {
6931        cgcg_sparkclass_method_var_widget = widget;
6932    }
6933    
6934    public BooleanOptionWidget getcgcg_sparkclass_method_var_widget() {
6935        return cgcg_sparkclass_method_var_widget;
6936    }
6937    
6938    private BooleanOptionWidget cgcg_sparkdump_answer_widget;
6939    
6940    private void setcgcg_sparkdump_answer_widget(BooleanOptionWidget widget) {
6941        cgcg_sparkdump_answer_widget = widget;
6942    }
6943    
6944    public BooleanOptionWidget getcgcg_sparkdump_answer_widget() {
6945        return cgcg_sparkdump_answer_widget;
6946    }
6947    
6948    private BooleanOptionWidget cgcg_sparkadd_tags_widget;
6949    
6950    private void setcgcg_sparkadd_tags_widget(BooleanOptionWidget widget) {
6951        cgcg_sparkadd_tags_widget = widget;
6952    }
6953    
6954    public BooleanOptionWidget getcgcg_sparkadd_tags_widget() {
6955        return cgcg_sparkadd_tags_widget;
6956    }
6957    
6958    private BooleanOptionWidget cgcg_sparkset_mass_widget;
6959    
6960    private void setcgcg_sparkset_mass_widget(BooleanOptionWidget widget) {
6961        cgcg_sparkset_mass_widget = widget;
6962    }
6963    
6964    public BooleanOptionWidget getcgcg_sparkset_mass_widget() {
6965        return cgcg_sparkset_mass_widget;
6966    }
6967    
6968    private BooleanOptionWidget cgcg_paddleenabled_widget;
6969    
6970    private void setcgcg_paddleenabled_widget(BooleanOptionWidget widget) {
6971        cgcg_paddleenabled_widget = widget;
6972    }
6973    
6974    public BooleanOptionWidget getcgcg_paddleenabled_widget() {
6975        return cgcg_paddleenabled_widget;
6976    }
6977    
6978    private BooleanOptionWidget cgcg_paddleverbose_widget;
6979    
6980    private void setcgcg_paddleverbose_widget(BooleanOptionWidget widget) {
6981        cgcg_paddleverbose_widget = widget;
6982    }
6983    
6984    public BooleanOptionWidget getcgcg_paddleverbose_widget() {
6985        return cgcg_paddleverbose_widget;
6986    }
6987    
6988    private BooleanOptionWidget cgcg_paddlebdd_widget;
6989    
6990    private void setcgcg_paddlebdd_widget(BooleanOptionWidget widget) {
6991        cgcg_paddlebdd_widget = widget;
6992    }
6993    
6994    public BooleanOptionWidget getcgcg_paddlebdd_widget() {
6995        return cgcg_paddlebdd_widget;
6996    }
6997    
6998    private BooleanOptionWidget cgcg_paddledynamic_order_widget;
6999    
7000    private void setcgcg_paddledynamic_order_widget(BooleanOptionWidget widget) {
7001        cgcg_paddledynamic_order_widget = widget;
7002    }
7003    
7004    public BooleanOptionWidget getcgcg_paddledynamic_order_widget() {
7005        return cgcg_paddledynamic_order_widget;
7006    }
7007    
7008    private BooleanOptionWidget cgcg_paddleprofile_widget;
7009    
7010    private void setcgcg_paddleprofile_widget(BooleanOptionWidget widget) {
7011        cgcg_paddleprofile_widget = widget;
7012    }
7013    
7014    public BooleanOptionWidget getcgcg_paddleprofile_widget() {
7015        return cgcg_paddleprofile_widget;
7016    }
7017    
7018    private BooleanOptionWidget cgcg_paddleignore_types_widget;
7019    
7020    private void setcgcg_paddleignore_types_widget(BooleanOptionWidget widget) {
7021        cgcg_paddleignore_types_widget = widget;
7022    }
7023    
7024    public BooleanOptionWidget getcgcg_paddleignore_types_widget() {
7025        return cgcg_paddleignore_types_widget;
7026    }
7027    
7028    private BooleanOptionWidget cgcg_paddlepre_jimplify_widget;
7029    
7030    private void setcgcg_paddlepre_jimplify_widget(BooleanOptionWidget widget) {
7031        cgcg_paddlepre_jimplify_widget = widget;
7032    }
7033    
7034    public BooleanOptionWidget getcgcg_paddlepre_jimplify_widget() {
7035        return cgcg_paddlepre_jimplify_widget;
7036    }
7037    
7038    
7039    private StringOptionWidget cgcg_paddleorder_widget;
7040    
7041    private void setcgcg_paddleorder_widget(StringOptionWidget widget) {
7042        cgcg_paddleorder_widget = widget;
7043    }
7044    
7045    public StringOptionWidget getcgcg_paddleorder_widget() {
7046        return cgcg_paddleorder_widget;
7047    }
7048    
7049    
7050    
7051    private MultiOptionWidget cgcg_paddleconf_widget;
7052    
7053    private void setcgcg_paddleconf_widget(MultiOptionWidget widget) {
7054        cgcg_paddleconf_widget = widget;
7055    }
7056    
7057    public MultiOptionWidget getcgcg_paddleconf_widget() {
7058        return cgcg_paddleconf_widget;
7059    }
7060    
7061    
7062    
7063    private MultiOptionWidget cgcg_paddleq_widget;
7064    
7065    private void setcgcg_paddleq_widget(MultiOptionWidget widget) {
7066        cgcg_paddleq_widget = widget;
7067    }
7068    
7069    public MultiOptionWidget getcgcg_paddleq_widget() {
7070        return cgcg_paddleq_widget;
7071    }
7072    
7073    
7074    
7075    private MultiOptionWidget cgcg_paddlebackend_widget;
7076    
7077    private void setcgcg_paddlebackend_widget(MultiOptionWidget widget) {
7078        cgcg_paddlebackend_widget = widget;
7079    }
7080    
7081    public MultiOptionWidget getcgcg_paddlebackend_widget() {
7082        return cgcg_paddlebackend_widget;
7083    }
7084    
7085    
7086    private BooleanOptionWidget cgcg_paddlecontext_heap_widget;
7087    
7088    private void setcgcg_paddlecontext_heap_widget(BooleanOptionWidget widget) {
7089        cgcg_paddlecontext_heap_widget = widget;
7090    }
7091    
7092    public BooleanOptionWidget getcgcg_paddlecontext_heap_widget() {
7093        return cgcg_paddlecontext_heap_widget;
7094    }
7095    
7096    
7097    private StringOptionWidget cgcg_paddlek_widget;
7098    
7099    private void setcgcg_paddlek_widget(StringOptionWidget widget) {
7100        cgcg_paddlek_widget = widget;
7101    }
7102    
7103    public StringOptionWidget getcgcg_paddlek_widget() {
7104        return cgcg_paddlek_widget;
7105    }
7106    
7107    
7108    
7109    private MultiOptionWidget cgcg_paddlecontext_widget;
7110    
7111    private void setcgcg_paddlecontext_widget(MultiOptionWidget widget) {
7112        cgcg_paddlecontext_widget = widget;
7113    }
7114    
7115    public MultiOptionWidget getcgcg_paddlecontext_widget() {
7116        return cgcg_paddlecontext_widget;
7117    }
7118    
7119    
7120    private BooleanOptionWidget cgcg_paddlerta_widget;
7121    
7122    private void setcgcg_paddlerta_widget(BooleanOptionWidget widget) {
7123        cgcg_paddlerta_widget = widget;
7124    }
7125    
7126    public BooleanOptionWidget getcgcg_paddlerta_widget() {
7127        return cgcg_paddlerta_widget;
7128    }
7129    
7130    private BooleanOptionWidget cgcg_paddlefield_based_widget;
7131    
7132    private void setcgcg_paddlefield_based_widget(BooleanOptionWidget widget) {
7133        cgcg_paddlefield_based_widget = widget;
7134    }
7135    
7136    public BooleanOptionWidget getcgcg_paddlefield_based_widget() {
7137        return cgcg_paddlefield_based_widget;
7138    }
7139    
7140    private BooleanOptionWidget cgcg_paddletypes_for_sites_widget;
7141    
7142    private void setcgcg_paddletypes_for_sites_widget(BooleanOptionWidget widget) {
7143        cgcg_paddletypes_for_sites_widget = widget;
7144    }
7145    
7146    public BooleanOptionWidget getcgcg_paddletypes_for_sites_widget() {
7147        return cgcg_paddletypes_for_sites_widget;
7148    }
7149    
7150    private BooleanOptionWidget cgcg_paddlemerge_stringbuffer_widget;
7151    
7152    private void setcgcg_paddlemerge_stringbuffer_widget(BooleanOptionWidget widget) {
7153        cgcg_paddlemerge_stringbuffer_widget = widget;
7154    }
7155    
7156    public BooleanOptionWidget getcgcg_paddlemerge_stringbuffer_widget() {
7157        return cgcg_paddlemerge_stringbuffer_widget;
7158    }
7159    
7160    private BooleanOptionWidget cgcg_paddlestring_constants_widget;
7161    
7162    private void setcgcg_paddlestring_constants_widget(BooleanOptionWidget widget) {
7163        cgcg_paddlestring_constants_widget = widget;
7164    }
7165    
7166    public BooleanOptionWidget getcgcg_paddlestring_constants_widget() {
7167        return cgcg_paddlestring_constants_widget;
7168    }
7169    
7170    private BooleanOptionWidget cgcg_paddlesimulate_natives_widget;
7171    
7172    private void setcgcg_paddlesimulate_natives_widget(BooleanOptionWidget widget) {
7173        cgcg_paddlesimulate_natives_widget = widget;
7174    }
7175    
7176    public BooleanOptionWidget getcgcg_paddlesimulate_natives_widget() {
7177        return cgcg_paddlesimulate_natives_widget;
7178    }
7179    
7180    private BooleanOptionWidget cgcg_paddleglobal_nodes_in_natives_widget;
7181    
7182    private void setcgcg_paddleglobal_nodes_in_natives_widget(BooleanOptionWidget widget) {
7183        cgcg_paddleglobal_nodes_in_natives_widget = widget;
7184    }
7185    
7186    public BooleanOptionWidget getcgcg_paddleglobal_nodes_in_natives_widget() {
7187        return cgcg_paddleglobal_nodes_in_natives_widget;
7188    }
7189    
7190    private BooleanOptionWidget cgcg_paddlesimple_edges_bidirectional_widget;
7191    
7192    private void setcgcg_paddlesimple_edges_bidirectional_widget(BooleanOptionWidget widget) {
7193        cgcg_paddlesimple_edges_bidirectional_widget = widget;
7194    }
7195    
7196    public BooleanOptionWidget getcgcg_paddlesimple_edges_bidirectional_widget() {
7197        return cgcg_paddlesimple_edges_bidirectional_widget;
7198    }
7199    
7200    private BooleanOptionWidget cgcg_paddlethis_edges_widget;
7201    
7202    private void setcgcg_paddlethis_edges_widget(BooleanOptionWidget widget) {
7203        cgcg_paddlethis_edges_widget = widget;
7204    }
7205    
7206    public BooleanOptionWidget getcgcg_paddlethis_edges_widget() {
7207        return cgcg_paddlethis_edges_widget;
7208    }
7209    
7210    private BooleanOptionWidget cgcg_paddleprecise_newinstance_widget;
7211    
7212    private void setcgcg_paddleprecise_newinstance_widget(BooleanOptionWidget widget) {
7213        cgcg_paddleprecise_newinstance_widget = widget;
7214    }
7215    
7216    public BooleanOptionWidget getcgcg_paddleprecise_newinstance_widget() {
7217        return cgcg_paddleprecise_newinstance_widget;
7218    }
7219    
7220    
7221    private MultiOptionWidget cgcg_paddlepropagator_widget;
7222    
7223    private void setcgcg_paddlepropagator_widget(MultiOptionWidget widget) {
7224        cgcg_paddlepropagator_widget = widget;
7225    }
7226    
7227    public MultiOptionWidget getcgcg_paddlepropagator_widget() {
7228        return cgcg_paddlepropagator_widget;
7229    }
7230    
7231    
7232    
7233    private MultiOptionWidget cgcg_paddleset_impl_widget;
7234    
7235    private void setcgcg_paddleset_impl_widget(MultiOptionWidget widget) {
7236        cgcg_paddleset_impl_widget = widget;
7237    }
7238    
7239    public MultiOptionWidget getcgcg_paddleset_impl_widget() {
7240        return cgcg_paddleset_impl_widget;
7241    }
7242    
7243    
7244    
7245    private MultiOptionWidget cgcg_paddledouble_set_old_widget;
7246    
7247    private void setcgcg_paddledouble_set_old_widget(MultiOptionWidget widget) {
7248        cgcg_paddledouble_set_old_widget = widget;
7249    }
7250    
7251    public MultiOptionWidget getcgcg_paddledouble_set_old_widget() {
7252        return cgcg_paddledouble_set_old_widget;
7253    }
7254    
7255    
7256    
7257    private MultiOptionWidget cgcg_paddledouble_set_new_widget;
7258    
7259    private void setcgcg_paddledouble_set_new_widget(MultiOptionWidget widget) {
7260        cgcg_paddledouble_set_new_widget = widget;
7261    }
7262    
7263    public MultiOptionWidget getcgcg_paddledouble_set_new_widget() {
7264        return cgcg_paddledouble_set_new_widget;
7265    }
7266    
7267    
7268    private BooleanOptionWidget cgcg_paddlecontext_counts_widget;
7269    
7270    private void setcgcg_paddlecontext_counts_widget(BooleanOptionWidget widget) {
7271        cgcg_paddlecontext_counts_widget = widget;
7272    }
7273    
7274    public BooleanOptionWidget getcgcg_paddlecontext_counts_widget() {
7275        return cgcg_paddlecontext_counts_widget;
7276    }
7277    
7278    private BooleanOptionWidget cgcg_paddletotal_context_counts_widget;
7279    
7280    private void setcgcg_paddletotal_context_counts_widget(BooleanOptionWidget widget) {
7281        cgcg_paddletotal_context_counts_widget = widget;
7282    }
7283    
7284    public BooleanOptionWidget getcgcg_paddletotal_context_counts_widget() {
7285        return cgcg_paddletotal_context_counts_widget;
7286    }
7287    
7288    private BooleanOptionWidget cgcg_paddlemethod_context_counts_widget;
7289    
7290    private void setcgcg_paddlemethod_context_counts_widget(BooleanOptionWidget widget) {
7291        cgcg_paddlemethod_context_counts_widget = widget;
7292    }
7293    
7294    public BooleanOptionWidget getcgcg_paddlemethod_context_counts_widget() {
7295        return cgcg_paddlemethod_context_counts_widget;
7296    }
7297    
7298    private BooleanOptionWidget cgcg_paddleset_mass_widget;
7299    
7300    private void setcgcg_paddleset_mass_widget(BooleanOptionWidget widget) {
7301        cgcg_paddleset_mass_widget = widget;
7302    }
7303    
7304    public BooleanOptionWidget getcgcg_paddleset_mass_widget() {
7305        return cgcg_paddleset_mass_widget;
7306    }
7307    
7308    private BooleanOptionWidget cgcg_paddlenumber_nodes_widget;
7309    
7310    private void setcgcg_paddlenumber_nodes_widget(BooleanOptionWidget widget) {
7311        cgcg_paddlenumber_nodes_widget = widget;
7312    }
7313    
7314    public BooleanOptionWidget getcgcg_paddlenumber_nodes_widget() {
7315        return cgcg_paddlenumber_nodes_widget;
7316    }
7317    
7318    private BooleanOptionWidget wstpenabled_widget;
7319    
7320    private void setwstpenabled_widget(BooleanOptionWidget widget) {
7321        wstpenabled_widget = widget;
7322    }
7323    
7324    public BooleanOptionWidget getwstpenabled_widget() {
7325        return wstpenabled_widget;
7326    }
7327    
7328    private BooleanOptionWidget wsopenabled_widget;
7329    
7330    private void setwsopenabled_widget(BooleanOptionWidget widget) {
7331        wsopenabled_widget = widget;
7332    }
7333    
7334    public BooleanOptionWidget getwsopenabled_widget() {
7335        return wsopenabled_widget;
7336    }
7337    
7338    private BooleanOptionWidget wjtpenabled_widget;
7339    
7340    private void setwjtpenabled_widget(BooleanOptionWidget widget) {
7341        wjtpenabled_widget = widget;
7342    }
7343    
7344    public BooleanOptionWidget getwjtpenabled_widget() {
7345        return wjtpenabled_widget;
7346    }
7347    
7348    private BooleanOptionWidget wjopenabled_widget;
7349    
7350    private void setwjopenabled_widget(BooleanOptionWidget widget) {
7351        wjopenabled_widget = widget;
7352    }
7353    
7354    public BooleanOptionWidget getwjopenabled_widget() {
7355        return wjopenabled_widget;
7356    }
7357    
7358    private BooleanOptionWidget wjopwjop_smbenabled_widget;
7359    
7360    private void setwjopwjop_smbenabled_widget(BooleanOptionWidget widget) {
7361        wjopwjop_smbenabled_widget = widget;
7362    }
7363    
7364    public BooleanOptionWidget getwjopwjop_smbenabled_widget() {
7365        return wjopwjop_smbenabled_widget;
7366    }
7367    
7368    private BooleanOptionWidget wjopwjop_smbinsert_null_checks_widget;
7369    
7370    private void setwjopwjop_smbinsert_null_checks_widget(BooleanOptionWidget widget) {
7371        wjopwjop_smbinsert_null_checks_widget = widget;
7372    }
7373    
7374    public BooleanOptionWidget getwjopwjop_smbinsert_null_checks_widget() {
7375        return wjopwjop_smbinsert_null_checks_widget;
7376    }
7377    
7378    private BooleanOptionWidget wjopwjop_smbinsert_redundant_casts_widget;
7379    
7380    private void setwjopwjop_smbinsert_redundant_casts_widget(BooleanOptionWidget widget) {
7381        wjopwjop_smbinsert_redundant_casts_widget = widget;
7382    }
7383    
7384    public BooleanOptionWidget getwjopwjop_smbinsert_redundant_casts_widget() {
7385        return wjopwjop_smbinsert_redundant_casts_widget;
7386    }
7387    
7388    
7389    private MultiOptionWidget wjopwjop_smballowed_modifier_changes_widget;
7390    
7391    private void setwjopwjop_smballowed_modifier_changes_widget(MultiOptionWidget widget) {
7392        wjopwjop_smballowed_modifier_changes_widget = widget;
7393    }
7394    
7395    public MultiOptionWidget getwjopwjop_smballowed_modifier_changes_widget() {
7396        return wjopwjop_smballowed_modifier_changes_widget;
7397    }
7398    
7399    
7400    private BooleanOptionWidget wjopwjop_sienabled_widget;
7401    
7402    private void setwjopwjop_sienabled_widget(BooleanOptionWidget widget) {
7403        wjopwjop_sienabled_widget = widget;
7404    }
7405    
7406    public BooleanOptionWidget getwjopwjop_sienabled_widget() {
7407        return wjopwjop_sienabled_widget;
7408    }
7409    
7410    private BooleanOptionWidget wjopwjop_sirerun_jb_widget;
7411    
7412    private void setwjopwjop_sirerun_jb_widget(BooleanOptionWidget widget) {
7413        wjopwjop_sirerun_jb_widget = widget;
7414    }
7415    
7416    public BooleanOptionWidget getwjopwjop_sirerun_jb_widget() {
7417        return wjopwjop_sirerun_jb_widget;
7418    }
7419    
7420    private BooleanOptionWidget wjopwjop_siinsert_null_checks_widget;
7421    
7422    private void setwjopwjop_siinsert_null_checks_widget(BooleanOptionWidget widget) {
7423        wjopwjop_siinsert_null_checks_widget = widget;
7424    }
7425    
7426    public BooleanOptionWidget getwjopwjop_siinsert_null_checks_widget() {
7427        return wjopwjop_siinsert_null_checks_widget;
7428    }
7429    
7430    private BooleanOptionWidget wjopwjop_siinsert_redundant_casts_widget;
7431    
7432    private void setwjopwjop_siinsert_redundant_casts_widget(BooleanOptionWidget widget) {
7433        wjopwjop_siinsert_redundant_casts_widget = widget;
7434    }
7435    
7436    public BooleanOptionWidget getwjopwjop_siinsert_redundant_casts_widget() {
7437        return wjopwjop_siinsert_redundant_casts_widget;
7438    }
7439    
7440    
7441    private StringOptionWidget wjopwjop_siexpansion_factor_widget;
7442    
7443    private void setwjopwjop_siexpansion_factor_widget(StringOptionWidget widget) {
7444        wjopwjop_siexpansion_factor_widget = widget;
7445    }
7446    
7447    public StringOptionWidget getwjopwjop_siexpansion_factor_widget() {
7448        return wjopwjop_siexpansion_factor_widget;
7449    }
7450    
7451    
7452    
7453    private StringOptionWidget wjopwjop_simax_container_size_widget;
7454    
7455    private void setwjopwjop_simax_container_size_widget(StringOptionWidget widget) {
7456        wjopwjop_simax_container_size_widget = widget;
7457    }
7458    
7459    public StringOptionWidget getwjopwjop_simax_container_size_widget() {
7460        return wjopwjop_simax_container_size_widget;
7461    }
7462    
7463    
7464    
7465    private StringOptionWidget wjopwjop_simax_inlinee_size_widget;
7466    
7467    private void setwjopwjop_simax_inlinee_size_widget(StringOptionWidget widget) {
7468        wjopwjop_simax_inlinee_size_widget = widget;
7469    }
7470    
7471    public StringOptionWidget getwjopwjop_simax_inlinee_size_widget() {
7472        return wjopwjop_simax_inlinee_size_widget;
7473    }
7474    
7475    
7476    
7477    private MultiOptionWidget wjopwjop_siallowed_modifier_changes_widget;
7478    
7479    private void setwjopwjop_siallowed_modifier_changes_widget(MultiOptionWidget widget) {
7480        wjopwjop_siallowed_modifier_changes_widget = widget;
7481    }
7482    
7483    public MultiOptionWidget getwjopwjop_siallowed_modifier_changes_widget() {
7484        return wjopwjop_siallowed_modifier_changes_widget;
7485    }
7486    
7487    
7488    private BooleanOptionWidget wjapenabled_widget;
7489    
7490    private void setwjapenabled_widget(BooleanOptionWidget widget) {
7491        wjapenabled_widget = widget;
7492    }
7493    
7494    public BooleanOptionWidget getwjapenabled_widget() {
7495        return wjapenabled_widget;
7496    }
7497    
7498    private BooleanOptionWidget wjapwjap_raenabled_widget;
7499    
7500    private void setwjapwjap_raenabled_widget(BooleanOptionWidget widget) {
7501        wjapwjap_raenabled_widget = widget;
7502    }
7503    
7504    public BooleanOptionWidget getwjapwjap_raenabled_widget() {
7505        return wjapwjap_raenabled_widget;
7506    }
7507    
7508    private BooleanOptionWidget wjapwjap_umtenabled_widget;
7509    
7510    private void setwjapwjap_umtenabled_widget(BooleanOptionWidget widget) {
7511        wjapwjap_umtenabled_widget = widget;
7512    }
7513    
7514    public BooleanOptionWidget getwjapwjap_umtenabled_widget() {
7515        return wjapwjap_umtenabled_widget;
7516    }
7517    
7518    private BooleanOptionWidget wjapwjap_uftenabled_widget;
7519    
7520    private void setwjapwjap_uftenabled_widget(BooleanOptionWidget widget) {
7521        wjapwjap_uftenabled_widget = widget;
7522    }
7523    
7524    public BooleanOptionWidget getwjapwjap_uftenabled_widget() {
7525        return wjapwjap_uftenabled_widget;
7526    }
7527    
7528    private BooleanOptionWidget wjapwjap_tqtenabled_widget;
7529    
7530    private void setwjapwjap_tqtenabled_widget(BooleanOptionWidget widget) {
7531        wjapwjap_tqtenabled_widget = widget;
7532    }
7533    
7534    public BooleanOptionWidget getwjapwjap_tqtenabled_widget() {
7535        return wjapwjap_tqtenabled_widget;
7536    }
7537    
7538    private BooleanOptionWidget wjapwjap_cggenabled_widget;
7539    
7540    private void setwjapwjap_cggenabled_widget(BooleanOptionWidget widget) {
7541        wjapwjap_cggenabled_widget = widget;
7542    }
7543    
7544    public BooleanOptionWidget getwjapwjap_cggenabled_widget() {
7545        return wjapwjap_cggenabled_widget;
7546    }
7547    
7548    private BooleanOptionWidget wjapwjap_cggshow_lib_meths_widget;
7549    
7550    private void setwjapwjap_cggshow_lib_meths_widget(BooleanOptionWidget widget) {
7551        wjapwjap_cggshow_lib_meths_widget = widget;
7552    }
7553    
7554    public BooleanOptionWidget getwjapwjap_cggshow_lib_meths_widget() {
7555        return wjapwjap_cggshow_lib_meths_widget;
7556    }
7557    
7558    private BooleanOptionWidget wjapwjap_purityenabled_widget;
7559    
7560    private void setwjapwjap_purityenabled_widget(BooleanOptionWidget widget) {
7561        wjapwjap_purityenabled_widget = widget;
7562    }
7563    
7564    public BooleanOptionWidget getwjapwjap_purityenabled_widget() {
7565        return wjapwjap_purityenabled_widget;
7566    }
7567    
7568    private BooleanOptionWidget wjapwjap_puritydump_summaries_widget;
7569    
7570    private void setwjapwjap_puritydump_summaries_widget(BooleanOptionWidget widget) {
7571        wjapwjap_puritydump_summaries_widget = widget;
7572    }
7573    
7574    public BooleanOptionWidget getwjapwjap_puritydump_summaries_widget() {
7575        return wjapwjap_puritydump_summaries_widget;
7576    }
7577    
7578    private BooleanOptionWidget wjapwjap_puritydump_cg_widget;
7579    
7580    private void setwjapwjap_puritydump_cg_widget(BooleanOptionWidget widget) {
7581        wjapwjap_puritydump_cg_widget = widget;
7582    }
7583    
7584    public BooleanOptionWidget getwjapwjap_puritydump_cg_widget() {
7585        return wjapwjap_puritydump_cg_widget;
7586    }
7587    
7588    private BooleanOptionWidget wjapwjap_puritydump_intra_widget;
7589    
7590    private void setwjapwjap_puritydump_intra_widget(BooleanOptionWidget widget) {
7591        wjapwjap_puritydump_intra_widget = widget;
7592    }
7593    
7594    public BooleanOptionWidget getwjapwjap_puritydump_intra_widget() {
7595        return wjapwjap_puritydump_intra_widget;
7596    }
7597    
7598    private BooleanOptionWidget wjapwjap_purityprint_widget;
7599    
7600    private void setwjapwjap_purityprint_widget(BooleanOptionWidget widget) {
7601        wjapwjap_purityprint_widget = widget;
7602    }
7603    
7604    public BooleanOptionWidget getwjapwjap_purityprint_widget() {
7605        return wjapwjap_purityprint_widget;
7606    }
7607    
7608    private BooleanOptionWidget wjapwjap_purityverbose_widget;
7609    
7610    private void setwjapwjap_purityverbose_widget(BooleanOptionWidget widget) {
7611        wjapwjap_purityverbose_widget = widget;
7612    }
7613    
7614    public BooleanOptionWidget getwjapwjap_purityverbose_widget() {
7615        return wjapwjap_purityverbose_widget;
7616    }
7617    
7618    private BooleanOptionWidget shimpleenabled_widget;
7619    
7620    private void setshimpleenabled_widget(BooleanOptionWidget widget) {
7621        shimpleenabled_widget = widget;
7622    }
7623    
7624    public BooleanOptionWidget getshimpleenabled_widget() {
7625        return shimpleenabled_widget;
7626    }
7627    
7628    private BooleanOptionWidget shimplenode_elim_opt_widget;
7629    
7630    private void setshimplenode_elim_opt_widget(BooleanOptionWidget widget) {
7631        shimplenode_elim_opt_widget = widget;
7632    }
7633    
7634    public BooleanOptionWidget getshimplenode_elim_opt_widget() {
7635        return shimplenode_elim_opt_widget;
7636    }
7637    
7638    private BooleanOptionWidget shimplestandard_local_names_widget;
7639    
7640    private void setshimplestandard_local_names_widget(BooleanOptionWidget widget) {
7641        shimplestandard_local_names_widget = widget;
7642    }
7643    
7644    public BooleanOptionWidget getshimplestandard_local_names_widget() {
7645        return shimplestandard_local_names_widget;
7646    }
7647