PropertyManager.java Source File

00001 package edu.ksu.cis.bandera.bui;
00002 
00003 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
00004  * Bandera, a Java(TM) analysis and transformation toolkit           *
00005  * Copyright (C) 2000   Robby (robby@cis.ksu.edu)                    *
00006  * All rights reserved.                                              *
00007  *                                                                   *
00008  * This work was done as a project in the SAnToS Laboratory,         *
00009  * Department of Computing and Information Sciences, Kansas State    *
00010  * University, USA (http://www.cis.ksu.edu/santos).                  *
00011  * It is understood that any modification not identified as such is  *
00012  * not covered by the preceding statement.                           *
00013  *                                                                   *
00014  * This work is free software; you can redistribute it and/or        *
00015  * modify it under the terms of the GNU Library General Public       *
00016  * License as published by the Free Software Foundation; either      *
00017  * version 2 of the License, or (at your option) any later version.  *
00018  *                                                                   *
00019  * This work is distributed in the hope that it will be useful,      *
00020  * but WITHOUT ANY WARRANTY; without even the implied warranty of    *
00021  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU *
00022  * Library General Public License for more details.                  *
00023  *                                                                   *
00024  * You should have received a copy of the GNU Library General Public *
00025  * License along with this toolkit; if not, write to the             *
00026  * Free Software Foundation, Inc., 59 Temple Place - Suite 330,      *
00027  * Boston, MA  02111-1307, USA.                                      *
00028  *                                                                   *
00029  * Java is a trademark of Sun Microsystems, Inc.                     *
00030  *                                                                   *
00031  * To submit a bug report, send a comment, or get the latest news on *
00032  * this project and other SAnToS projects, please visit the web-site *
00033  *                http://www.cis.ksu.edu/santos                      *
00034  * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
00035 import java.io.*;
00036 import edu.ksu.cis.bandera.annotation.*;
00037 import ca.mcgill.sable.soot.*;
00038 import java.util.*;
00039 import edu.ksu.cis.bandera.specification.pattern.*;
00040 import edu.ksu.cis.bandera.specification.pattern.datastructure.*;
00041 import edu.ksu.cis.bandera.specification.assertion.datastructure.*;
00042 import edu.ksu.cis.bandera.jjjc.*;
00043 import edu.ksu.cis.bandera.jjjc.symboltable.*;
00044 import edu.ksu.cis.bandera.jjjc.symboltable.Package;
00045 import edu.ksu.cis.bandera.specification.predicate.datastructure.*;
00046 import edu.ksu.cis.bandera.specification.*;
00047 import edu.ksu.cis.bandera.specification.datastructure.*;
00048 import java.awt.*;
00049 import java.awt.event.*;
00050 import javax.swing.*;
00051 public class PropertyManager extends JFrame {
00052     private boolean inNameFocusLost = false;
00053     private boolean inComboBoxChange = false;
00054     private JPanel ivjAssertionPanel = null;
00055     IvjEventHandler ivjEventHandler = new IvjEventHandler();
00056     private JButton ivjOkButton = null;
00057     private JPanel ivjPropertyManagerContentPane = null;
00058     private JTabbedPane ivjPropertyManagerTabbedPane = null;
00059     private JPanel ivjTLPanel = null;
00060     private JList ivjAssertionList = null;
00061     private JScrollPane ivjAssertionScrollPane = null;
00062     private JList ivjEnabledAssertionList = null;
00063     private JScrollPane ivjEnabledAssertionScrollPane = null;
00064     private JList ivjTLList = null;
00065     private JScrollPane ivjTLScrollPane = null;
00066     private JButton ivjAddAssertionButton = null;
00067     private JButton ivjAddEnabledAssertionButton = null;
00068     private JButton ivjAddTLButton = null;
00069     private JButton ivjRemoveAssertionButton = null;
00070     private JButton ivjRemoveEnabledAssertionButton = null;
00071     private JButton ivjRemoveTLButton = null;
00072     private JPanel ivjFormulaPanel = null;
00073     private JPanel ivjEnabledAssertionPanel = null;
00074     private JLabel ivjPatternNameLabel = null;
00075     private JLabel ivjPatternScopeLabel = null;
00076     private JLabel ivjPropositionLabel = null;
00077     private JTextField ivjPropositionTextField = null;
00078     private JComboBox ivjPatternNameComboBox = null;
00079     private JComboBox ivjPatternScopeComboBox = null;
00080     private JComboBox ivjPropositionComboBox = null;
00081     private JButton ivjExpandButton = null;
00082     private JButton ivjShowErrorButton = null;
00083     private JButton ivjShowMappingButton = null;
00084     private JButton ivjImportAssertionButton = null;
00085     private JButton ivjImportAssertionSetButton = null;
00086     private JList ivjImportList = null;
00087     private JButton ivjImportPackageButton = null;
00088     private JPanel ivjImportPanel = null;
00089     private JButton ivjImportPredicateButton = null;
00090     private JButton ivjImportPredicateSetButton = null;
00091     private JScrollPane ivjImportScrollPane = null;
00092     private JButton ivjImportTypeButton = null;
00093     private JButton ivjOpenButton = null;
00094     private JButton ivjRemoveImportButton = null;
00095     private JButton ivjSaveButton = null;
00096     private JPanel ivjPropertyPanel = null;
00097     private JButton ivjSaveAsButton = null;
00098     private JButton ivjActivateAssertionButton = null;
00099     private JButton ivjActivateTLButton = null;
00100     private JLabel ivjAssertionNameLabel = null;
00101     private JTextField ivjAssertionNameTextField = null;
00102     private JLabel ivjQuantifierLabel = null;
00103     private JLabel ivjTLNameLabel = null;
00104     private JTextField ivjTLNameTextField = null;
00105     private JButton ivjTLDescriptionButton = null;
00106     private JPanel ivjDescriptionPanel = null;
00107     private JScrollPane ivjDescriptionScrollPane = null;
00108     private JTextArea ivjDescriptionTextArea = null;
00109     private JTextField ivjExpandedPatternTextField = null;
00110     private JButton ivjAssertionDescriptionButton = null;
00111     private JButton ivjNewButton = null;
00112     private JMenuItem ivjAddPredicateMenuItem = null;
00113     private JPopupMenu ivjPropositionPopupMenu = null;
00114     private boolean isClean = true; // robbyjo's patch
00115     private JTextArea ivjQuantificationTextArea = null;
00116     private JScrollPane ivjQuantificationScrollPane = null;
00117 
00118 class IvjEventHandler implements java.awt.event.ActionListener, java.awt.event.FocusListener, java.awt.event.KeyListener, java.awt.event.MouseListener, javax.swing.event.ListSelectionListener {
00119         public void actionPerformed(java.awt.event.ActionEvent e) {
00120             if (e.getSource() == PropertyManager.this.getOkButton()) 
00121                 connEtoM1(e);
00122             if (e.getSource() == PropertyManager.this.getImportTypeButton()) 
00123                 connEtoC1();
00124             if (e.getSource() == PropertyManager.this.getImportPackageButton()) 
00125                 connEtoC2();
00126             if (e.getSource() == PropertyManager.this.getImportPredicateButton()) 
00127                 connEtoC3();
00128             if (e.getSource() == PropertyManager.this.getImportPredicateSetButton()) 
00129                 connEtoC4();
00130             if (e.getSource() == PropertyManager.this.getImportAssertionButton()) 
00131                 connEtoC5();
00132             if (e.getSource() == PropertyManager.this.getImportAssertionSetButton()) 
00133                 connEtoC6();
00134             if (e.getSource() == PropertyManager.this.getRemoveImportButton()) 
00135                 connEtoC7();
00136             if (e.getSource() == PropertyManager.this.getAddAssertionButton()) 
00137                 connEtoC9();
00138             if (e.getSource() == PropertyManager.this.getRemoveAssertionButton()) 
00139                 connEtoC10();
00140             if (e.getSource() == PropertyManager.this.getActivateAssertionButton()) 
00141                 connEtoC11();
00142             if (e.getSource() == PropertyManager.this.getAddEnabledAssertionButton()) 
00143                 connEtoC13();
00144             if (e.getSource() == PropertyManager.this.getRemoveEnabledAssertionButton()) 
00145                 connEtoC14();
00146             if (e.getSource() == PropertyManager.this.getAddTLButton()) 
00147                 connEtoC20();
00148             if (e.getSource() == PropertyManager.this.getRemoveTLButton()) 
00149                 connEtoC21();
00150             if (e.getSource() == PropertyManager.this.getActivateTLButton()) 
00151                 connEtoC22();
00152             if (e.getSource() == PropertyManager.this.getPatternNameComboBox()) 
00153                 connEtoC27();
00154             if (e.getSource() == PropertyManager.this.getPatternScopeComboBox()) 
00155                 connEtoC28();
00156             if (e.getSource() == PropertyManager.this.getPropositionComboBox()) 
00157                 connEtoC29();
00158             if (e.getSource() == PropertyManager.this.getExpandButton()) 
00159                 connEtoC32();
00160             if (e.getSource() == PropertyManager.this.getShowErrorButton()) 
00161                 connEtoC33();
00162             if (e.getSource() == PropertyManager.this.getShowMappingButton()) 
00163                 connEtoC34();
00164             if (e.getSource() == PropertyManager.this.getNewButton()) 
00165                 connEtoC35();
00166             if (e.getSource() == PropertyManager.this.getOpenButton()) 
00167                 connEtoC36();
00168             if (e.getSource() == PropertyManager.this.getSaveAsButton()) 
00169                 connEtoC37();
00170             if (e.getSource() == PropertyManager.this.getSaveButton()) 
00171                 connEtoC38();
00172             if (e.getSource() == PropertyManager.this.getAddPredicateMenuItem()) 
00173                 connEtoC39();
00174         };
00175         public void focusGained(java.awt.event.FocusEvent e) {};
00176         public void focusLost(java.awt.event.FocusEvent e) {
00177             if (e.getSource() == PropertyManager.this.getAssertionNameTextField()) 
00178                 connEtoC18(e);
00179             if (e.getSource() == PropertyManager.this.getTLNameTextField()) 
00180                 connEtoC24(e);
00181             if (e.getSource() == PropertyManager.this.getPropositionTextField()) 
00182                 connEtoC31(e);
00183             if (e.getSource() == PropertyManager.this.getQuantificationTextArea()) 
00184                 connEtoC41(e);
00185         };
00186         public void keyPressed(java.awt.event.KeyEvent e) {
00187             if (e.getSource() == PropertyManager.this.getAssertionNameTextField()) 
00188                 connEtoC17();
00189             if (e.getSource() == PropertyManager.this.getTLNameTextField()) 
00190                 connEtoC23();
00191             if (e.getSource() == PropertyManager.this.getPropositionTextField()) 
00192                 connEtoC30();
00193             if (e.getSource() == PropertyManager.this.getQuantificationTextArea()) 
00194                 connEtoC40();
00195         };
00196         public void keyReleased(java.awt.event.KeyEvent e) {
00197             if (e.getSource() == PropertyManager.this.getAssertionNameTextField()) 
00198                 connEtoC17();
00199             if (e.getSource() == PropertyManager.this.getTLNameTextField()) 
00200                 connEtoC23();
00201             if (e.getSource() == PropertyManager.this.getPropositionTextField()) 
00202                 connEtoC30();
00203             if (e.getSource() == PropertyManager.this.getQuantificationTextArea()) 
00204                 connEtoC40();
00205         };
00206         public void keyTyped(java.awt.event.KeyEvent e) {
00207             if (e.getSource() == PropertyManager.this.getAssertionNameTextField()) 
00208                 connEtoC17();
00209             if (e.getSource() == PropertyManager.this.getTLNameTextField()) 
00210                 connEtoC23();
00211             if (e.getSource() == PropertyManager.this.getPropositionTextField()) 
00212                 connEtoC30();
00213             if (e.getSource() == PropertyManager.this.getQuantificationTextArea()) 
00214                 connEtoC40();
00215         };
00216         public void mouseClicked(java.awt.event.MouseEvent e) {};
00217         public void mouseEntered(java.awt.event.MouseEvent e) {};
00218         public void mouseExited(java.awt.event.MouseEvent e) {};
00219         public void mousePressed(java.awt.event.MouseEvent e) {};
00220         public void mouseReleased(java.awt.event.MouseEvent e) {
00221             if (e.getSource() == PropertyManager.this.getPropositionTextField()) 
00222                 connEtoC16(e);
00223         };
00224         public void valueChanged(javax.swing.event.ListSelectionEvent e) {
00225             if (e.getSource() == PropertyManager.this.getImportList()) 
00226                 connEtoC8();
00227             if (e.getSource() == PropertyManager.this.getAssertionList()) 
00228                 connEtoC12();
00229             if (e.getSource() == PropertyManager.this.getEnabledAssertionList()) 
00230                 connEtoC15();
00231             if (e.getSource() == PropertyManager.this.getTLList()) 
00232                 connEtoC19();
00233         };
00234     };
00235 /**
00236  * PropertyManager constructor comment.
00237  */
00238 public PropertyManager() {
00239     super();
00240     initialize();
00241 }
00242 /**
00243  * PropertyManager constructor comment.
00244  * @param title java.lang.String
00245  */
00246 public PropertyManager(String title) {
00247     super(title);
00248 }
00249 /**
00250  * Comment
00251  */
00252 public void activateAssertionButton_ActionEvents() {
00253     Object[] objects = getAssertionList().getSelectedValues();
00254     int[] indices = getAssertionList().getSelectedIndices();
00255     for (int i = 0; i < objects.length; i++) {
00256         BUI.property.activateOrDeactivateAssertionProperty((AssertionProperty) objects[i]);
00257     }
00258     updateAssertionList();
00259     updateEnabledAssertionList();
00260     getAddEnabledAssertionButton().setEnabled(BUI.property.getActivatedAssertionProperties().size() == 1);
00261     getAssertionList().setSelectedIndices(indices);
00262     BUI.manager.updateProperty();
00263 }
00264 /**
00265  * Comment
00266  */
00267 public void activateTLButton_ActionEvents() {
00268     TemporalLogicProperty tlp = (TemporalLogicProperty) getTLList().getSelectedValue();
00269     BUI.property.activateOrDeactivateTemporalLogicProperty(tlp);
00270     
00271     updateTLList();
00272     getTLList().setSelectedValue(tlp, true);
00273     tlp = BUI.property.getActivatedTemporalLogicProperty();
00274     if (tlp == null) {
00275         setTLEnabledAll(false);
00276     }
00277     String s = tlp.getQuantifier();
00278     if (s == null) {
00279         s = "";
00280         tlp.setQuantifier(s);
00281     }
00282     getQuantificationTextArea().setText(s);
00283 
00284     Hashtable table = PatternSaverLoader.getPatternTable();
00285 
00286     inComboBoxChange = true;
00287     try {
00288         getPatternNameComboBox().removeAllItems();
00289     } catch (Exception e) {}
00290     
00291     TreeSet ts = new TreeSet();
00292     for (Enumeration e = table.keys(); e.hasMoreElements();) {
00293         ts.add(e.nextElement());
00294     }
00295 
00296     for (Iterator i = ts.iterator(); i.hasNext();) {
00297         getPatternNameComboBox().addItem(i.next());
00298     }
00299     inComboBoxChange = false;
00300 
00301     s = tlp.getPatternName();
00302 
00303     if (s == null) getPatternNameComboBox().setSelectedIndex(0);
00304     else getPatternNameComboBox().setSelectedItem(s);
00305 
00306     patternNameComboBox_ActionEvents();
00307 
00308     s = (String) getPatternNameComboBox().getSelectedItem();
00309 
00310     BUI.property.getActivatedTemporalLogicProperty().setPatternName(s);
00311     
00312     s = (String) getPatternScopeComboBox().getSelectedItem();
00313 
00314     BUI.property.getActivatedTemporalLogicProperty().setPatternScope(s);
00315     
00316     Pattern p = (Pattern) ((Hashtable) PatternSaverLoader.getPatternTable().get(getPatternNameComboBox().getSelectedItem())).get(s);
00317 
00318     Hashtable parameters = new Hashtable();
00319     for (Iterator i = p.getParameters().iterator(); i.hasNext();) {
00320         Object parm = i.next();
00321         parameters.put(parm, parm);
00322     }
00323     String template = p.expandFormat(parameters);
00324     getExpandedPatternTextField().setText(template);
00325     getExpandedPatternTextField().setToolTipText(template);
00326     setTLEnabledAll(true);
00327     BUI.manager.updateProperty();
00328 }
00329 /**
00330  * Comment
00331  */
00332 public void addAssertionButton_ActionEvents() {
00333     for (int i = 1; i <= 32000; i++) {
00334         if (!BUI.property.hasAssertionProperty("Untitled" + i)) {
00335             AssertionProperty ap = new AssertionProperty("Untitled" + i);
00336             BUI.property.addAssertionProperty(ap);
00337             updateAssertionList();
00338             getAssertionList().setSelectedValue(ap, true);
00339             isClean = false;
00340             return;
00341         }
00342     }
00343 }
00344 /**
00345  * Comment
00346  */
00347 public void addEnabledAssertionButton_ActionEvents() {
00348     AssertionProperty ap = (AssertionProperty) BUI.property.getActivatedAssertionProperties().iterator().next();
00349     Vector v = new Vector();
00350     for (Enumeration e = AssertionSet.getAssertionSetTable().elements(); e.hasMoreElements();) {
00351         for (Enumeration e2 = ((AssertionSet) e.nextElement()).getAssertionTable().elements(); e2.hasMoreElements();) {
00352             v.add(e2.nextElement());
00353         }
00354     }
00355     int size = v.size();
00356     if (size > 0) {
00357         Object[] possibleValues = new Object[size];
00358         int i = 0;
00359         for (Enumeration e = v.elements(); e.hasMoreElements(); i++) {
00360             possibleValues[i] = ((Assertion) e.nextElement()).getName();
00361         }
00362         Object selectedValue = JOptionPane.showInputDialog(null, "Choose assertion", "Enable Assertion", JOptionPane.INFORMATION_MESSAGE, null, possibleValues, possibleValues[0]);
00363         if (selectedValue != null) {
00364             try {
00365                 Assertion a = AssertionSet.getAssertion((Name) selectedValue);
00366                 ap.addAssertion(a.getName());
00367                 updateEnabledAssertionList();
00368                 getEnabledAssertionList().setSelectedValue(a, true);
00369             } catch (Exception e) {
00370                 throw new RuntimeException(e.getMessage());
00371             }
00372         }
00373     } else {
00374         JOptionPane.showMessageDialog(null, "There are no assertions to choose from", "Enable Assertion", JOptionPane.INFORMATION_MESSAGE); 
00375     }
00376 }
00377 /**
00378  * Comment
00379  */
00380 public void addPredicateMenuItem_ActionEvents() {
00381     Vector v = new Vector();
00382     for (Enumeration e = PredicateSet.getPredicateSetTable().elements(); e.hasMoreElements();) {
00383         for (Enumeration e2 = ((PredicateSet) e.nextElement()).getPredicateTable().elements(); e2.hasMoreElements();) {
00384             v.add(e2.nextElement());
00385         }
00386     }
00387     int size = v.size();
00388     if (size > 0) {
00389         Object[] possibleValues = new Object[size];
00390         int i = 0;
00391         for (Enumeration e = v.elements(); e.hasMoreElements(); i++) {
00392             possibleValues[i] = ((Predicate) e.nextElement()).getName();
00393         }
00394         Object selectedValue = JOptionPane.showInputDialog(null, "Choose predicate", "Add Predicate", JOptionPane.INFORMATION_MESSAGE, null, possibleValues, possibleValues[0]);
00395         if (selectedValue != null) {
00396             try {
00397                 Predicate p = PredicateSet.getPredicate((Name) selectedValue);
00398                 BUI.propertyManager.getPropositionTextField().setText(BUI.propertyManager.getPropositionTextField().getText() + p.getName());
00399                 BUI.propertyManager.propositionTextField_KeyEvents();
00400             } catch (Exception e) {
00401             }
00402         }
00403     } else {
00404         JOptionPane.showMessageDialog(null, "There are no predicates to choose from", "Add Predicate", JOptionPane.INFORMATION_MESSAGE); 
00405     }
00406 }
00407 /**
00408  * Comment
00409  */
00410 public void addTLButton_ActionEvents() {
00411     for (int i = 1; i <= 32000; i++) {
00412         if (!BUI.property.hasTemporalLogicProperty("Untitled" + i)) {
00413             TemporalLogicProperty tlp = new TemporalLogicProperty("Untitled" + i);
00414             BUI.property.addTemporalLogicProperty(tlp);
00415             updateTLList();
00416             getTLList().setSelectedValue(tlp, true);
00417             getActivateTLButton().setEnabled(true);
00418             isClean = false;
00419             return;
00420         }
00421     }
00422 }
00423 /**
00424  * Comment
00425  */
00426 public void assertionList_ListSelectionEvents() {
00427     getRemoveAssertionButton().setEnabled(true);
00428     getActivateAssertionButton().setEnabled(true);
00429     boolean f = (BUI.property.getActivatedAssertionProperties().size() == 1) && (getAssertionList().getSelectedValues().length == 1);
00430     if (!f) {
00431         getAssertionNameTextField().setText("");
00432         getAssertionNameTextField().setEditable(false);
00433     } else {
00434         AssertionProperty ap = (AssertionProperty) getAssertionList().getSelectedValue();
00435         getAssertionNameTextField().setText(ap.getName());
00436         getAssertionNameTextField().setEditable(BUI.property.isActivated(ap));
00437     }
00438 }
00439 /**
00440  * Comment
00441  */
00442 public void assertionNameTextField_FocusLost() {
00443     String s = getAssertionNameTextField().getText().trim();
00444     if (!inNameFocusLost && !Util.isValidId(s)) {
00445         inNameFocusLost = true;
00446         do {
00447             s = JOptionPane.showInputDialog("Please input a valid assertion property name");
00448         } while ((s == null) || !Util.isValidId(s));
00449         getAssertionNameTextField().setText(s);
00450         AssertionProperty ap = (AssertionProperty) BUI.property.getActivatedAssertionProperties().iterator().next();
00451         ap.setName(s);
00452         getAssertionList().repaint();
00453         inNameFocusLost = false;
00454     }
00455 }
00456 /**
00457  * Comment
00458  */
00459 public void assertionNameTextField_KeyEvents() {
00460     AssertionProperty ap = (AssertionProperty) BUI.property.getActivatedAssertionProperties().iterator().next();
00461     ap.setName(getAssertionNameTextField().getText().trim());
00462     getAssertionList().repaint();
00463 }
00464 /**
00465  * connEtoC1:  (ImportTypeButton.action. --> PropertyManager.importTypeButton_ActionEvents()V)
00466  */
00467 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00468 private void connEtoC1() {
00469     try {
00470         // user code begin {1}
00471         // user code end
00472         this.importTypeButton_ActionEvents();
00473         // user code begin {2}
00474         // user code end
00475     } catch (java.lang.Throwable ivjExc) {
00476         // user code begin {3}
00477         // user code end
00478         handleException(ivjExc);
00479     }
00480 }
00481 /**
00482  * connEtoC10:  (RemoveAssertionButton.action. --> PropertyManager.removeAssertionButton_ActionEvents()V)
00483  */
00484 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00485 private void connEtoC10() {
00486     try {
00487         // user code begin {1}
00488         // user code end
00489         this.removeAssertionButton_ActionEvents();
00490         // user code begin {2}
00491         // user code end
00492     } catch (java.lang.Throwable ivjExc) {
00493         // user code begin {3}
00494         // user code end
00495         handleException(ivjExc);
00496     }
00497 }
00498 /**
00499  * connEtoC11:  (ActivateAssertionButton.action. --> PropertyManager.activateAssertionButton_ActionEvents()V)
00500  */
00501 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00502 private void connEtoC11() {
00503     try {
00504         // user code begin {1}
00505         // user code end
00506         this.activateAssertionButton_ActionEvents();
00507         // user code begin {2}
00508         // user code end
00509     } catch (java.lang.Throwable ivjExc) {
00510         // user code begin {3}
00511         // user code end
00512         handleException(ivjExc);
00513     }
00514 }
00515 /**
00516  * connEtoC12:  (AssertionList.listSelection. --> PropertyManager.assertionList_ListSelectionEvents()V)
00517  */
00518 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00519 private void connEtoC12() {
00520     try {
00521         // user code begin {1}
00522         // user code end
00523         this.assertionList_ListSelectionEvents();
00524         // user code begin {2}
00525         // user code end
00526     } catch (java.lang.Throwable ivjExc) {
00527         // user code begin {3}
00528         // user code end
00529         handleException(ivjExc);
00530     }
00531 }
00532 /**
00533  * connEtoC13:  (AddEnabledAssertionButton.action. --> PropertyManager.addEnabledAssertionButton_ActionEvents()V)
00534  */
00535 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00536 private void connEtoC13() {
00537     try {
00538         // user code begin {1}
00539         // user code end
00540         this.addEnabledAssertionButton_ActionEvents();
00541         // user code begin {2}
00542         // user code end
00543     } catch (java.lang.Throwable ivjExc) {
00544         // user code begin {3}
00545         // user code end
00546         handleException(ivjExc);
00547     }
00548 }
00549 /**
00550  * connEtoC14:  (RemoveEnabledAssertionButton.action. --> PropertyManager.removeEnabledAssertionButton_ActionEvents()V)
00551  */
00552 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00553 private void connEtoC14() {
00554     try {
00555         // user code begin {1}
00556         // user code end
00557         this.removeEnabledAssertionButton_ActionEvents();
00558         // user code begin {2}
00559         // user code end
00560     } catch (java.lang.Throwable ivjExc) {
00561         // user code begin {3}
00562         // user code end
00563         handleException(ivjExc);
00564     }
00565 }
00566 /**
00567  * connEtoC15:  (EnabledAssertionList.listSelection. --> PropertyManager.enabledAssertionList_ListSelectionEvents()V)
00568  */
00569 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00570 private void connEtoC15() {
00571     try {
00572         // user code begin {1}
00573         // user code end
00574         this.enabledAssertionList_ListSelectionEvents();
00575         // user code begin {2}
00576         // user code end
00577     } catch (java.lang.Throwable ivjExc) {
00578         // user code begin {3}
00579         // user code end
00580         handleException(ivjExc);
00581     }
00582 }
00583 /**
00584  * connEtoC16:  (GotoAssertionDefinitionButton.action. --> PropertyManager.gotoAssertionDefinitionButton_ActionEvents()V)
00585  */
00586 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00587 private void connEtoC16() {
00588     try {
00589         // user code begin {1}
00590         // user code end
00591         this.gotoAssertionDefinitionButton_ActionEvents();
00592         // user code begin {2}
00593         // user code end
00594     } catch (java.lang.Throwable ivjExc) {
00595         // user code begin {3}
00596         // user code end
00597         handleException(ivjExc);
00598     }
00599 }
00600 /**
00601  * connEtoC16:  (PropositionTextField.mouse.mouseReleased(java.awt.event.MouseEvent) --> PropertyManager.propositionTextField_MouseReleased(Ljava.awt.event.MouseEvent;)V)
00602  * @param arg1 java.awt.event.MouseEvent
00603  */
00604 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00605 private void connEtoC16(java.awt.event.MouseEvent arg1) {
00606     try {
00607         // user code begin {1}
00608         // user code end
00609         this.propositionTextField_MouseReleased(arg1);
00610         // user code begin {2}
00611         // user code end
00612     } catch (java.lang.Throwable ivjExc) {
00613         // user code begin {3}
00614         // user code end
00615         handleException(ivjExc);
00616     }
00617 }
00618 /**
00619  * connEtoC17:  (AssertionNameTextField.key. --> PropertyManager.assertionNameTextField_KeyEvents()V)
00620  */
00621 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00622 private void connEtoC17() {
00623     try {
00624         // user code begin {1}
00625         // user code end
00626         this.assertionNameTextField_KeyEvents();
00627         // user code begin {2}
00628         // user code end
00629     } catch (java.lang.Throwable ivjExc) {
00630         // user code begin {3}
00631         // user code end
00632         handleException(ivjExc);
00633     }
00634 }
00635 /**
00636  * connEtoC18:  (AssertionNameTextField.focus.focusLost(java.awt.event.FocusEvent) --> PropertyManager.assertionNameTextField_FocusLost()V)
00637  * @param arg1 java.awt.event.FocusEvent
00638  */
00639 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00640 private void connEtoC18(java.awt.event.FocusEvent arg1) {
00641     try {
00642         // user code begin {1}
00643         // user code end
00644         this.assertionNameTextField_FocusLost();
00645         // user code begin {2}
00646         // user code end
00647     } catch (java.lang.Throwable ivjExc) {
00648         // user code begin {3}
00649         // user code end
00650         handleException(ivjExc);
00651     }
00652 }
00653 /**
00654  * connEtoC19:  (TLList.listSelection. --> PropertyManager.tLList_ListSelectionEvents()V)
00655  */
00656 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00657 private void connEtoC19() {
00658     try {
00659         // user code begin {1}
00660         // user code end
00661         this.tLList_ListSelectionEvents();
00662         // user code begin {2}
00663         // user code end
00664     } catch (java.lang.Throwable ivjExc) {
00665         // user code begin {3}
00666         // user code end
00667         handleException(ivjExc);
00668     }
00669 }
00670 /**
00671  * connEtoC2:  (ImportPackageButton.action. --> PropertyManager.importPackageButton_ActionEvents()V)
00672  */
00673 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00674 private void connEtoC2() {
00675     try {
00676         // user code begin {1}
00677         // user code end
00678         this.importPackageButton_ActionEvents();
00679         // user code begin {2}
00680         // user code end
00681     } catch (java.lang.Throwable ivjExc) {
00682         // user code begin {3}
00683         // user code end
00684         handleException(ivjExc);
00685     }
00686 }
00687 /**
00688  * connEtoC20:  (AddTLButton.action. --> PropertyManager.addTLButton_ActionEvents()V)
00689  */
00690 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00691 private void connEtoC20() {
00692     try {
00693         // user code begin {1}
00694         // user code end
00695         this.addTLButton_ActionEvents();
00696         // user code begin {2}
00697         // user code end
00698     } catch (java.lang.Throwable ivjExc) {
00699         // user code begin {3}
00700         // user code end
00701         handleException(ivjExc);
00702     }
00703 }
00704 /**
00705  * connEtoC21:  (RemoveTLButton.action. --> PropertyManager.removeTLButton_ActionEvents()V)
00706  */
00707 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00708 private void connEtoC21() {
00709     try {
00710         // user code begin {1}
00711         // user code end
00712         this.removeTLButton_ActionEvents();
00713         // user code begin {2}
00714         // user code end
00715     } catch (java.lang.Throwable ivjExc) {
00716         // user code begin {3}
00717         // user code end
00718         handleException(ivjExc);
00719     }
00720 }
00721 /**
00722  * connEtoC22:  (ActivateTLButton.action. --> PropertyManager.activateTLButton_ActionEvents()V)
00723  */
00724 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00725 private void connEtoC22() {
00726     try {
00727         // user code begin {1}
00728         // user code end
00729         this.activateTLButton_ActionEvents();
00730         // user code begin {2}
00731         // user code end
00732     } catch (java.lang.Throwable ivjExc) {
00733         // user code begin {3}
00734         // user code end
00735         handleException(ivjExc);
00736     }
00737 }
00738 /**
00739  * connEtoC23:  (TLNameTextField.key. --> PropertyManager.tLNameTextField_KeyEvents()V)
00740  */
00741 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00742 private void connEtoC23() {
00743     try {
00744         // user code begin {1}
00745         // user code end
00746         this.tLNameTextField_KeyEvents();
00747         // user code begin {2}
00748         // user code end
00749     } catch (java.lang.Throwable ivjExc) {
00750         // user code begin {3}
00751         // user code end
00752         handleException(ivjExc);
00753     }
00754 }
00755 /**
00756  * connEtoC24:  (TLNameTextField.focus.focusLost(java.awt.event.FocusEvent) --> PropertyManager.tLNameTextField_FocusLost()V)
00757  * @param arg1 java.awt.event.FocusEvent
00758  */
00759 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00760 private void connEtoC24(java.awt.event.FocusEvent arg1) {
00761     try {
00762         // user code begin {1}
00763         // user code end
00764         this.tLNameTextField_FocusLost();
00765         // user code begin {2}
00766         // user code end
00767     } catch (java.lang.Throwable ivjExc) {
00768         // user code begin {3}
00769         // user code end
00770         handleException(ivjExc);
00771     }
00772 }
00773 /**
00774  * connEtoC27:  (PatternNameComboBox.action. --> PropertyManager.patternNameComboBox_ActionEvents()V)
00775  */
00776 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00777 private void connEtoC27() {
00778     try {
00779         // user code begin {1}
00780         // user code end
00781         this.patternNameComboBox_ActionEvents();
00782         // user code begin {2}
00783         // user code end
00784     } catch (java.lang.Throwable ivjExc) {
00785         // user code begin {3}
00786         // user code end
00787         handleException(ivjExc);
00788     }
00789 }
00790 /**
00791  * connEtoC28:  (PatternScopeComboBox.action. --> PropertyManager.patternScopeComboBox_ActionEvents()V)
00792  */
00793 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00794 private void connEtoC28() {
00795     try {
00796         // user code begin {1}
00797         // user code end
00798         this.patternScopeComboBox_ActionEvents();
00799         // user code begin {2}
00800         // user code end
00801     } catch (java.lang.Throwable ivjExc) {
00802         // user code begin {3}
00803         // user code end
00804         handleException(ivjExc);
00805     }
00806 }
00807 /**
00808  * connEtoC29:  (PropositionComboBox.action. --> PropertyManager.propositionComboBox_ActionEvents()V)
00809  */
00810 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00811 private void connEtoC29() {
00812     try {
00813         // user code begin {1}
00814         // user code end
00815         this.propositionComboBox_ActionEvents();
00816         // user code begin {2}
00817         // user code end
00818     } catch (java.lang.Throwable ivjExc) {
00819         // user code begin {3}
00820         // user code end
00821         handleException(ivjExc);
00822     }
00823 }
00824 /**
00825  * connEtoC3:  (ImportPredicateButton.action. --> PropertyManager.importPredicateButton_ActionEvents()V)
00826  */
00827 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00828 private void connEtoC3() {
00829     try {
00830         // user code begin {1}
00831         // user code end
00832         this.importPredicateButton_ActionEvents();
00833         // user code begin {2}
00834         // user code end
00835     } catch (java.lang.Throwable ivjExc) {
00836         // user code begin {3}
00837         // user code end
00838         handleException(ivjExc);
00839     }
00840 }
00841 /**
00842  * connEtoC30:  (PropositionTextField.key. --> PropertyManager.propositionTextField_KeyEvents()V)
00843  */
00844 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00845 private void connEtoC30() {
00846     try {
00847         // user code begin {1}
00848         // user code end
00849         this.propositionTextField_KeyEvents();
00850         // user code begin {2}
00851         // user code end
00852     } catch (java.lang.Throwable ivjExc) {
00853         // user code begin {3}
00854         // user code end
00855         handleException(ivjExc);
00856     }
00857 }
00858 /**
00859  * connEtoC31:  (PropositionTextField.focus.focusLost(java.awt.event.FocusEvent) --> PropertyManager.propositionTextField_FocusLost()V)
00860  * @param arg1 java.awt.event.FocusEvent
00861  */
00862 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00863 private void connEtoC31(java.awt.event.FocusEvent arg1) {
00864     try {
00865         // user code begin {1}
00866         // user code end
00867         this.propositionTextField_FocusLost();
00868         // user code begin {2}
00869         // user code end
00870     } catch (java.lang.Throwable ivjExc) {
00871         // user code begin {3}
00872         // user code end
00873         handleException(ivjExc);
00874     }
00875 }
00876 /**
00877  * connEtoC32:  (ExpandButton.action. --> PropertyManager.expandButton_ActionEvents()V)
00878  */
00879 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00880 private void connEtoC32() {
00881     try {
00882         // user code begin {1}
00883         // user code end
00884         this.expandButton_ActionEvents();
00885         // user code begin {2}
00886         // user code end
00887     } catch (java.lang.Throwable ivjExc) {
00888         // user code begin {3}
00889         // user code end
00890         handleException(ivjExc);
00891     }
00892 }
00893 /**
00894  * connEtoC33:  (ShowErrorButton.action. --> PropertyManager.showErrorButton_ActionEvents()V)
00895  */
00896 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00897 private void connEtoC33() {
00898     try {
00899         // user code begin {1}
00900         // user code end
00901         this.showErrorButton_ActionEvents();
00902         // user code begin {2}
00903         // user code end
00904     } catch (java.lang.Throwable ivjExc) {
00905         // user code begin {3}
00906         // user code end
00907         handleException(ivjExc);
00908     }
00909 }
00910 /**
00911  * connEtoC34:  (ShowMappingButton.action. --> PropertyManager.showMappingButton_ActionEvents()V)
00912  */
00913 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00914 private void connEtoC34() {
00915     try {
00916         // user code begin {1}
00917         // user code end
00918         this.showMappingButton_ActionEvents();
00919         // user code begin {2}
00920         // user code end
00921     } catch (java.lang.Throwable ivjExc) {
00922         // user code begin {3}
00923         // user code end
00924         handleException(ivjExc);
00925     }
00926 }
00927 /**
00928  * connEtoC35:  (NewButton.action. --> PropertyManager.newButton_ActionEvents()V)
00929  */
00930 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00931 private void connEtoC35() {
00932     try {
00933         // user code begin {1}
00934         // user code end
00935         this.newButton_ActionEvents();
00936         // user code begin {2}
00937         // user code end
00938     } catch (java.lang.Throwable ivjExc) {
00939         // user code begin {3}
00940         // user code end
00941         handleException(ivjExc);
00942     }
00943 }
00944 /**
00945  * connEtoC36:  (OpenButton.action. --> PropertyManager.openButton_ActionEvents()V)
00946  */
00947 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00948 private void connEtoC36() {
00949     try {
00950         // user code begin {1}
00951         // user code end
00952         this.openButton_ActionEvents();
00953         // user code begin {2}
00954         // user code end
00955     } catch (java.lang.Throwable ivjExc) {
00956         // user code begin {3}
00957         // user code end
00958         handleException(ivjExc);
00959     }
00960 }
00961 /**
00962  * connEtoC37:  (SaveAsButton.action. --> PropertyManager.saveAsButton_ActionEvents()V)
00963  */
00964 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00965 private void connEtoC37() {
00966     try {
00967         // user code begin {1}
00968         // user code end
00969         this.saveAsButton_ActionEvents();
00970         // user code begin {2}
00971         // user code end
00972     } catch (java.lang.Throwable ivjExc) {
00973         // user code begin {3}
00974         // user code end
00975         handleException(ivjExc);
00976     }
00977 }
00978 /**
00979  * connEtoC38:  (SaveButton.action. --> PropertyManager.saveButton_ActionEvents()V)
00980  */
00981 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00982 private void connEtoC38() {
00983     try {
00984         // user code begin {1}
00985         // user code end
00986         this.saveButton_ActionEvents();
00987         // user code begin {2}
00988         // user code end
00989     } catch (java.lang.Throwable ivjExc) {
00990         // user code begin {3}
00991         // user code end
00992         handleException(ivjExc);
00993     }
00994 }
00995 /**
00996  * connEtoC39:  (AddPredicateMenuItem.action. --> PropertyManager.addPredicateMenuItem_ActionEvents()V)
00997  */
00998 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00999 private void connEtoC39() {
01000     try {
01001         // user code begin {1}
01002         // user code end
01003         this.addPredicateMenuItem_ActionEvents();
01004         // user code begin {2}
01005         // user code end
01006     } catch (java.lang.Throwable ivjExc) {
01007         // user code begin {3}
01008         // user code end
01009         handleException(ivjExc);
01010     }
01011 }
01012 /**
01013  * connEtoC4:  (ImportPredicateSetButton.action. --> PropertyManager.importPredicateSetButton_ActionEvents()V)
01014  */
01015 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01016 private void connEtoC4() {
01017     try {
01018         // user code begin {1}
01019         // user code end
01020         this.importPredicateSetButton_ActionEvents();
01021         // user code begin {2}
01022         // user code end
01023     } catch (java.lang.Throwable ivjExc) {
01024         // user code begin {3}
01025         // user code end
01026         handleException(ivjExc);
01027     }
01028 }
01029 /**
01030  * connEtoC40:  (quantificationTextArea.key. --> PropertyManager.quantificationTextArea_KeyEvents()V)
01031  */
01032 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01033 private void connEtoC40() {
01034     try {
01035         // user code begin {1}
01036         // user code end
01037         this.quantificationTextArea_KeyEvents();
01038         // user code begin {2}
01039         // user code end
01040     } catch (java.lang.Throwable ivjExc) {
01041         // user code begin {3}
01042         // user code end
01043         handleException(ivjExc);
01044     }
01045 }
01046 /**
01047  * connEtoC41:  (quantificationTextArea.focus.focusLost(java.awt.event.FocusEvent) --> PropertyManager.quantificationTextArea_FocusLost(Ljava.awt.event.FocusEvent;)V)
01048  * @param arg1 java.awt.event.FocusEvent
01049  */
01050 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01051 private void connEtoC41(java.awt.event.FocusEvent arg1) {
01052     try {
01053         // user code begin {1}
01054         // user code end
01055         this.quantificationTextArea_FocusLost(arg1);
01056         // user code begin {2}
01057         // user code end
01058     } catch (java.lang.Throwable ivjExc) {
01059         // user code begin {3}
01060         // user code end
01061         handleException(ivjExc);
01062     }
01063 }
01064 /**
01065  * connEtoC5:  (ImportAssertionButton.action. --> PropertyManager.importAssertionButton_ActionEvents()V)
01066  */
01067 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01068 private void connEtoC5() {
01069     try {
01070         // user code begin {1}
01071         // user code end
01072         this.importAssertionButton_ActionEvents();
01073         // user code begin {2}
01074         // user code end
01075     } catch (java.lang.Throwable ivjExc) {
01076         // user code begin {3}
01077         // user code end
01078         handleException(ivjExc);
01079     }
01080 }
01081 /**
01082  * connEtoC6:  (ImportAssertionSetButton.action. --> PropertyManager.importAssertionSetButton_ActionEvents()V)
01083  */
01084 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01085 private void connEtoC6() {
01086     try {
01087         // user code begin {1}
01088         // user code end
01089         this.importAssertionSetButton_ActionEvents();
01090         // user code begin {2}
01091         // user code end
01092     } catch (java.lang.Throwable ivjExc) {
01093         // user code begin {3}
01094         // user code end
01095         handleException(ivjExc);
01096     }
01097 }
01098 /**
01099  * connEtoC7:  (RemoveImportButton.action. --> PropertyManager.removeImportButton_ActionEvents()V)
01100  */
01101 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01102 private void connEtoC7() {
01103     try {
01104         // user code begin {1}
01105         // user code end
01106         this.removeImportButton_ActionEvents();
01107         // user code begin {2}
01108         // user code end
01109     } catch (java.lang.Throwable ivjExc) {
01110         // user code begin {3}
01111         // user code end
01112         handleException(ivjExc);
01113     }
01114 }
01115 /**
01116  * connEtoC8:  (ImportList.listSelection. --> PropertyManager.importList_ListSelectionEvents()V)
01117  */
01118 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01119 private void connEtoC8() {
01120     try {
01121         // user code begin {1}
01122         // user code end
01123         this.importList_ListSelectionEvents();
01124         // user code begin {2}
01125         // user code end
01126     } catch (java.lang.Throwable ivjExc) {
01127         // user code begin {3}
01128         // user code end
01129         handleException(ivjExc);
01130     }
01131 }
01132 /**
01133  * connEtoC9:  (AddAssertionButton.action. --> PropertyManager.addAssertionButton_ActionEvents()V)
01134  */
01135 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01136 private void connEtoC9() {
01137     try {
01138         // user code begin {1}
01139         // user code end
01140         this.addAssertionButton_ActionEvents();
01141         // user code begin {2}
01142         // user code end
01143     } catch (java.lang.Throwable ivjExc) {
01144         // user code begin {3}
01145         // user code end
01146         handleException(ivjExc);
01147     }
01148 }
01149 /**
01150  * connEtoM1:  (OkButton.action.actionPerformed(java.awt.event.ActionEvent) --> PropertyManager.setVisible(Z)V)
01151  * @param arg1 java.awt.event.ActionEvent
01152  */
01153 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01154 private void connEtoM1(java.awt.event.ActionEvent arg1) {
01155     try {
01156         // user code begin {1}
01157         // user code end
01158         this.setVisible(false);
01159         // user code begin {2}
01160         // user code end
01161     } catch (java.lang.Throwable ivjExc) {
01162         // user code begin {3}
01163         // user code end
01164         handleException(ivjExc);
01165     }
01166 }
01167 /**
01168  * Comment
01169  */
01170 public void constraintTextField_MouseReleased() {
01171     return;
01172 }
01173 /**
01174  * Comment
01175  */
01176 public void enabledAssertionList_ListSelectionEvents() {
01177     boolean f = getEnabledAssertionList().getSelectedValues().length == 1;
01178     try {
01179         AssertionSet.getAssertion((Name) getEnabledAssertionList().getSelectedValue());
01180     } catch (Exception e) {
01181         f = false;
01182     }
01183     getRemoveEnabledAssertionButton().setEnabled(BUI.property.getActivatedAssertionProperties().size() == 1);
01184 }
01185 /**
01186  * Comment
01187  */
01188 public void expandButton_ActionEvents() {
01189     TemporalLogicProperty tlp = BUI.property.getActivatedTemporalLogicProperty();
01190     if (tlp == null) return;
01191     getExpandedPatternTextField().setText(tlp.expand());
01192     tlp.validate(BUI.property.getImportedType(), BUI.property.getImportedPackage(),
01193             BUI.property.getImportedAssertion(), BUI.property.getImportedAssertionSet(),
01194             BUI.property.getImportedPredicate(), BUI.property.getImportedPredicateSet());
01195     if (tlp.getExceptions().size() > 0) {
01196         getShowErrorButton().setEnabled(true);
01197         getShowMappingButton().setEnabled(false);
01198         showErrorButton_ActionEvents();
01199     } else {
01200         getShowErrorButton().setEnabled(false);
01201         //getShowMappingButton().setEnabled(true);
01202     }
01203 }
01204 /**
01205  * Return the SelectAssertionButton property value.
01206  * @return javax.swing.JButton
01207  */
01208 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01209 private javax.swing.JButton getActivateAssertionButton() {
01210     if (ivjActivateAssertionButton == null) {
01211         try {
01212             ivjActivateAssertionButton = new javax.swing.JButton();
01213             ivjActivateAssertionButton.setName("ActivateAssertionButton");
01214             ivjActivateAssertionButton.setMnemonic('a');
01215             ivjActivateAssertionButton.setText("Activate / Deactivate");
01216             ivjActivateAssertionButton.setBackground(new java.awt.Color(204,204,255));
01217             ivjActivateAssertionButton.setEnabled(false);
01218             // user code begin {1}
01219             // user code end
01220         } catch (java.lang.Throwable ivjExc) {
01221             // user code begin {2}
01222             // user code end
01223             handleException(ivjExc);
01224         }
01225     }
01226     return ivjActivateAssertionButton;
01227 }
01228 /**
01229  * Return the SelectTLButton property value.
01230  * @return javax.swing.JButton
01231  */
01232 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01233 private javax.swing.JButton getActivateTLButton() {
01234     if (ivjActivateTLButton == null) {
01235         try {
01236             ivjActivateTLButton = new javax.swing.JButton();
01237             ivjActivateTLButton.setName("ActivateTLButton");
01238             ivjActivateTLButton.setMnemonic('a');
01239             ivjActivateTLButton.setText("Activate / Deactivate");
01240             ivjActivateTLButton.setBackground(new java.awt.Color(204,204,255));
01241             ivjActivateTLButton.setEnabled(false);
01242             // user code begin {1}
01243             // user code end
01244         } catch (java.lang.Throwable ivjExc) {
01245             // user code begin {2}
01246             // user code end
01247             handleException(ivjExc);
01248         }
01249     }
01250     return ivjActivateTLButton;
01251 }
01252 /**
01253  * Return the AddButton property value.
01254  * @return javax.swing.JButton
01255  */
01256 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01257 private javax.swing.JButton getAddAssertionButton() {
01258     if (ivjAddAssertionButton == null) {
01259         try {
01260             ivjAddAssertionButton = new javax.swing.JButton();
01261             ivjAddAssertionButton.setName("AddAssertionButton");
01262             ivjAddAssertionButton.setText("Add");
01263             ivjAddAssertionButton.setBackground(new java.awt.Color(204,204,255));
01264             // user code begin {1}
01265             // user code end
01266         } catch (java.lang.Throwable ivjExc) {
01267             // user code begin {2}
01268             // user code end
01269             handleException(ivjExc);
01270         }
01271     }
01272     return ivjAddAssertionButton;
01273 }
01274 /**
01275  * Return the AddEnabledButton property value.
01276  * @return javax.swing.JButton
01277  */
01278 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01279 private javax.swing.JButton getAddEnabledAssertionButton() {
01280     if (ivjAddEnabledAssertionButton == null) {
01281         try {
01282             ivjAddEnabledAssertionButton = new javax.swing.JButton();
01283             ivjAddEnabledAssertionButton.setName("AddEnabledAssertionButton");
01284             ivjAddEnabledAssertionButton.setText("Add");
01285             ivjAddEnabledAssertionButton.setBackground(new java.awt.Color(204,204,255));
01286             ivjAddEnabledAssertionButton.setEnabled(false);
01287             // user code begin {1}
01288             // user code end
01289         } catch (java.lang.Throwable ivjExc) {
01290             // user code begin {2}
01291             // user code end
01292             handleException(ivjExc);
01293         }
01294     }
01295     return ivjAddEnabledAssertionButton;
01296 }
01297 /**
01298  * Return the AddPredicateMenuItem property value.
01299  * @return javax.swing.JMenuItem
01300  */
01301 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01302 private javax.swing.JMenuItem getAddPredicateMenuItem() {
01303     if (ivjAddPredicateMenuItem == null) {
01304         try {
01305             ivjAddPredicateMenuItem = new javax.swing.JMenuItem();
01306             ivjAddPredicateMenuItem.setName("AddPredicateMenuItem");
01307             ivjAddPredicateMenuItem.setText("Add a predicate");
01308             ivjAddPredicateMenuItem.setBackground(new java.awt.Color(204,204,255));
01309             // user code begin {1}
01310             // user code end
01311         } catch (java.lang.Throwable ivjExc) {
01312             // user code begin {2}
01313             // user code end
01314             handleException(ivjExc);
01315         }
01316     }
01317     return ivjAddPredicateMenuItem;
01318 }
01319 /**
01320  * Return the JButton1 property value.
01321  * @return javax.swing.JButton
01322  */
01323 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01324 private javax.swing.JButton getAddTLButton() {
01325     if (ivjAddTLButton == null) {
01326         try {
01327             ivjAddTLButton = new javax.swing.JButton();
01328             ivjAddTLButton.setName("AddTLButton");
01329             ivjAddTLButton.setText("Add");
01330             ivjAddTLButton.setBackground(new java.awt.Color(204,204,255));
01331             // user code begin {1}
01332             // user code end
01333         } catch (java.lang.Throwable ivjExc) {
01334             // user code begin {2}
01335             // user code end
01336             handleException(ivjExc);
01337         }
01338     }
01339     return ivjAddTLButton;
01340 }
01341 /**
01342  * Return the AssertionDescriptionButton property value.
01343  * @return javax.swing.JButton
01344  */
01345 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01346 private javax.swing.JButton getAssertionDescriptionButton() {
01347     if (ivjAssertionDescriptionButton == null) {
01348         try {
01349             ivjAssertionDescriptionButton = new javax.swing.JButton();
01350             ivjAssertionDescriptionButton.setName("AssertionDescriptionButton");
01351             ivjAssertionDescriptionButton.setMnemonic('d');
01352             ivjAssertionDescriptionButton.setText("Description");
01353             ivjAssertionDescriptionButton.setBackground(new java.awt.Color(204,204,255));
01354             ivjAssertionDescriptionButton.setEnabled(false);
01355             // user code begin {1}
01356             // user code end
01357         } catch (java.lang.Throwable ivjExc) {
01358             // user code begin {2}
01359             // user code end
01360             handleException(ivjExc);
01361         }
01362     }
01363     return ivjAssertionDescriptionButton;
01364 }
01365 /**
01366  * Return the AssertionList property value.
01367  * @return javax.swing.JList
01368  */
01369 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01370 private javax.swing.JList getAssertionList() {
01371     if (ivjAssertionList == null) {
01372         try {
01373             ivjAssertionList = new javax.swing.JList();
01374             ivjAssertionList.setName("AssertionList");
01375             ivjAssertionList.setBackground(new java.awt.Color(204,204,204));
01376             ivjAssertionList.setBounds(0, 0, 160, 120);
01377             ivjAssertionList.setSelectionMode(javax.swing.ListSelectionModel.MULTIPLE_INTERVAL_SELECTION);
01378             // user code begin {1}
01379             ivjAssertionList.setCellRenderer(new DefaultListCellRenderer() {
01380                 public Component getListCellRendererComponent(JList list, Object value, int index, boolean isSelected, boolean cellHasFocus) {
01381                     super.getListCellRendererComponent(list, value, index, isSelected, cellHasFocus);
01382                     if (value instanceof AssertionProperty) {
01383                         AssertionProperty ap = (AssertionProperty) value;
01384                         setText(ap.getName());
01385                         if (BUI.property.isActivated(ap)) {
01386                             setIcon(IconLibrary.arrow);
01387                         } else {
01388                             setIcon(IconLibrary.earrow);
01389                         }
01390                     }
01391                     return this;
01392                 }
01393             });
01394             // user code end
01395         } catch (java.lang.Throwable ivjExc) {
01396             // user code begin {2}
01397             // user code end
01398             handleException(ivjExc);
01399         }
01400     }
01401     return ivjAssertionList;
01402 }
01403 /**
01404  * Return the AssertionNameLabel property value.
01405  * @return javax.swing.JLabel
01406  */
01407 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01408 private javax.swing.JLabel getAssertionNameLabel() {
01409     if (ivjAssertionNameLabel == null) {
01410         try {
01411             ivjAssertionNameLabel = new javax.swing.JLabel();
01412             ivjAssertionNameLabel.setName("AssertionNameLabel");
01413             ivjAssertionNameLabel.setDisplayedMnemonic('n');
01414             ivjAssertionNameLabel.setText("Name:");
01415             ivjAssertionNameLabel.setForeground(java.awt.Color.black);
01416             // user code begin {1}
01417             // user code end
01418         } catch (java.lang.Throwable ivjExc) {
01419             // user code begin {2}
01420             // user code end
01421             handleException(ivjExc);
01422         }
01423     }
01424     return ivjAssertionNameLabel;
01425 }
01426 /**
01427  * Return the AssertionNameTextField property value.
01428  * @return javax.swing.JTextField
01429  */
01430 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01431 private javax.swing.JTextField getAssertionNameTextField() {
01432     if (ivjAssertionNameTextField == null) {
01433         try {
01434             ivjAssertionNameTextField = new javax.swing.JTextField();
01435             ivjAssertionNameTextField.setName("AssertionNameTextField");
01436             ivjAssertionNameTextField.setBorder(BorderFactory.createLoweredBevelBorder());
01437             ivjAssertionNameTextField.setFocusAccelerator('n');
01438             ivjAssertionNameTextField.setEnabled(true);
01439             ivjAssertionNameTextField.setEditable(false);
01440             // user code begin {1}
01441             // user code end
01442         } catch (java.lang.Throwable ivjExc) {
01443             // user code begin {2}
01444             // user code end
01445             handleException(ivjExc);
01446         }
01447     }
01448     return ivjAssertionNameTextField;
01449 }
01450 /**
01451  * Return the AssertionPanel property value.
01452  * @return javax.swing.JPanel
01453  */
01454 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01455 public javax.swing.JPanel getAssertionPanel() {
01456     if (ivjAssertionPanel == null) {
01457         try {
01458             ivjAssertionPanel = new javax.swing.JPanel();
01459             ivjAssertionPanel.setName("AssertionPanel");
01460             ivjAssertionPanel.setLayout(new java.awt.GridBagLayout());
01461             ivjAssertionPanel.setBackground(new java.awt.Color(204,204,255));
01462 
01463             java.awt.GridBagConstraints constraintsAssertionScrollPane = new java.awt.GridBagConstraints();
01464             constraintsAssertionScrollPane.gridx = 0; constraintsAssertionScrollPane.gridy = 0;
01465 constraintsAssertionScrollPane.gridheight = 6;
01466             constraintsAssertionScrollPane.fill = java.awt.GridBagConstraints.BOTH;
01467             constraintsAssertionScrollPane.weightx = 1.0;
01468             constraintsAssertionScrollPane.weighty = 0.3;
01469             constraintsAssertionScrollPane.insets = new java.awt.Insets(10, 10, 0, 0);
01470             getAssertionPanel().add(getAssertionScrollPane(), constraintsAssertionScrollPane);
01471 
01472             java.awt.GridBagConstraints constraintsAddAssertionButton = new java.awt.GridBagConstraints();
01473             constraintsAddAssertionButton.gridx = 1; constraintsAddAssertionButton.gridy = 1;
01474             constraintsAddAssertionButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
01475             constraintsAddAssertionButton.insets = new java.awt.Insets(10, 10, 0, 10);
01476             getAssertionPanel().add(getAddAssertionButton(), constraintsAddAssertionButton);
01477 
01478             java.awt.GridBagConstraints constraintsRemoveAssertionButton = new java.awt.GridBagConstraints();
01479             constraintsRemoveAssertionButton.gridx = 1; constraintsRemoveAssertionButton.gridy = 2;
01480             constraintsRemoveAssertionButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
01481             constraintsRemoveAssertionButton.insets = new java.awt.Insets(10, 10, 0, 10);
01482             getAssertionPanel().add(getRemoveAssertionButton(), constraintsRemoveAssertionButton);
01483 
01484             java.awt.GridBagConstraints constraintsEnabledAssertionPanel = new java.awt.GridBagConstraints();
01485             constraintsEnabledAssertionPanel.gridx = 0; constraintsEnabledAssertionPanel.gridy = 6;
01486             constraintsEnabledAssertionPanel.gridwidth = 2;
01487             constraintsEnabledAssertionPanel.fill = java.awt.GridBagConstraints.BOTH;
01488             constraintsEnabledAssertionPanel.weightx = 1.0;
01489             constraintsEnabledAssertionPanel.weighty = 0.7;
01490             constraintsEnabledAssertionPanel.insets = new java.awt.Insets(15, 9, 10, 7);
01491             getAssertionPanel().add(getEnabledAssertionPanel(), constraintsEnabledAssertionPanel);
01492 
01493             java.awt.GridBagConstraints constraintsActivateAssertionButton = new java.awt.GridBagConstraints();
01494             constraintsActivateAssertionButton.gridx = 1; constraintsActivateAssertionButton.gridy = 0;
01495             constraintsActivateAssertionButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
01496             constraintsActivateAssertionButton.insets = new java.awt.Insets(10, 10, 0, 10);
01497             getAssertionPanel().add(getActivateAssertionButton(), constraintsActivateAssertionButton);
01498 
01499             java.awt.GridBagConstraints constraintsAssertionNameLabel = new java.awt.GridBagConstraints();
01500             constraintsAssertionNameLabel.gridx = 1; constraintsAssertionNameLabel.gridy = 3;
01501             constraintsAssertionNameLabel.fill = java.awt.GridBagConstraints.HORIZONTAL;
01502             constraintsAssertionNameLabel.insets = new java.awt.Insets(15, 10, 0, 8);
01503             getAssertionPanel().add(getAssertionNameLabel(), constraintsAssertionNameLabel);
01504 
01505             java.awt.GridBagConstraints constraintsAssertionNameTextField = new java.awt.GridBagConstraints();
01506             constraintsAssertionNameTextField.gridx = 1; constraintsAssertionNameTextField.gridy = 4;
01507             constraintsAssertionNameTextField.fill = java.awt.GridBagConstraints.HORIZONTAL;
01508             constraintsAssertionNameTextField.insets = new java.awt.Insets(5, 10, 0, 10);
01509             getAssertionPanel().add(getAssertionNameTextField(), constraintsAssertionNameTextField);
01510 
01511             java.awt.GridBagConstraints constraintsAssertionDescriptionButton = new java.awt.GridBagConstraints();
01512             constraintsAssertionDescriptionButton.gridx = 1; constraintsAssertionDescriptionButton.gridy = 5;
01513             constraintsAssertionDescriptionButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
01514             constraintsAssertionDescriptionButton.insets = new java.awt.Insets(0, 10, 0, 10);
01515             getAssertionPanel().add(getAssertionDescriptionButton(), constraintsAssertionDescriptionButton);
01516             // user code begin {1}
01517             // user code end
01518         } catch (java.lang.Throwable ivjExc) {
01519             // user code begin {2}
01520             // user code end
01521             handleException(ivjExc);
01522         }
01523     }
01524     return ivjAssertionPanel;
01525 }
01526 /**
01527  * Return the AssertionScrollPane property value.
01528  * @return javax.swing.JScrollPane
01529  */
01530 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01531 private javax.swing.JScrollPane getAssertionScrollPane() {
01532     if (ivjAssertionScrollPane == null) {
01533         try {
01534             ivjAssertionScrollPane = new javax.swing.JScrollPane();
01535             ivjAssertionScrollPane.setName("AssertionScrollPane");
01536             ivjAssertionScrollPane.setBorder(BorderFactory.createLoweredBevelBorder());
01537             getAssertionScrollPane().setViewportView(getAssertionList());
01538             // user code begin {1}
01539             // user code end
01540         } catch (java.lang.Throwable ivjExc) {
01541             // user code begin {2}
01542             // user code end
01543             handleException(ivjExc);
01544         }
01545     }
01546     return ivjAssertionScrollPane;
01547 }
01548 /**
01549  * 
01550  */
01551 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01552 private static void getBuilderData() {
01553 /*V1.1
01554 **start of data**
01555     D0CB838494G88G88G511DB6ACGGGGGGGGGGGG8CGGGE2F5E9ECE4E5F2A0E4E1F4E16DFD8FD8D4D57A3FDB6EC6C5E5ADEDD6D6D434CB9BDB3451E6C52D3B51C6AD356CAE6DDAD1EBE5C59B159595DBD423202222E2D2D121212202A122222212220222221210A28CB083B3404840908C020676FB4FB977FD6F5F01995A3E3F6F737CFEBE4F6BF0BF677DF74EF94FFB4FBD775CFBCD99DF84CE1FBAAD43E41ABA5DA47D5BB455E41A38FD2A293FBB7BC94446AE6EC8B6A97EAD81DAE04ABF1182
01556     3F41D0B63641191CEE7A32B7950E436158DD6DCC7E847EDEE8DA35B4248894FA30B39A4AAC0F7EB2F1E8BBE767201D197CF8C9C39A7C4E831AG58E42042AFBA407E6606CC89CF0563F9525F0C26CEB319E2B94F2AF5198A5CAD710542EF845028EC46D35310A5156740B163A9015F2AEC415B8E3F3338F75F9EAA167842D3AFB559561DB5E3AE3325500F94A94946CB3FA6532A992CA112CD6E832B6137242A23ED1B5D56D750515BD7506268ADE836F6596CBD560266BE4716ADD5BD2EEEFB0F7B6481EB17354D
01557     5E837C66A54C4F2AF529DC87788947F19C0BDC475AA6907E9E8F943D84FDFD65C009640B65656BCC59CF1D6F51577C2542472A25322F896651E926E5CC7FE95E76CCEE8C14C78289DF6EEFC0DF4A1621AFFF28E33C03F09CG94C278AAB743A360B896A8E1997A784CF67451597ECB5364B5E3E64C7760E3DA0E702DA8C77631429CB36BD39E9F73D730BE6E0632G20E020A820F82034659D491F7338FCA8E7957C6EE8F66FF2F5F63A3AF6F4F76FF45AFA8E38ECF6A77C3DE58B14C858E1FB0B2B47E6B209587B
01558     E6DD3E01BFC8B94B55F147C8546D2889E3E56C34ABCD83DFDC497BDFDB3732566E9945120E4A65F25D32D730F61BD2445A4D89B8137B86C8604BB6B05C36C246C5DFBD42E3019DE72E04784E43F68E48C5DF52AE3958B42E6D3B99B38DFC29FA6032995D7942873FFC59975146AF2EE4ED9C86F8B4D09C10E9F5C7F2B6D069EAEC630C656B07EB633DDDEEFBCF1755D95D575CED6DF16F6CF3B8A16E2536BE3BE12836B6A2A1F7314FF222DD0257AB7BA8712E6F8D5B25BB7C7C99665522BD5C2B65F691369F72E8
01559     BBE035BEB666D19FEE28E7FD953CDA7461F442CBB99E2E40C55FBE404796BB0E06322282E8FB4E3F6584434796887E2FC9CF87474B56483850D34847A2BB1E82E5036BBA12C57F1E1347F2E06A060E649C2092209AA0B7509820208D5847CD4B57F8B90E2A947DABE4B3D7FC8C3F7681F70FF5EFD72F5B5A55E2BFE26DF1D81B1D76DE134433E485EB57E6155C8ABE3EDB40469EFB97E4C9374355855A2D1DF68826DE4133E645824653E36725B50ECEBB98686CB6215ECDAB963231E46DF5FF53ED333A6DB207A8
01560     5F3E024544896B9150888A606F048D2C3D1CBC67C6405F13B6E0DB052DE2D871C6B8C7EC44F639EB4507703B9F025B6E5C32254C51425C30761C4498FD2BA8180DD9600F81AA5A8467D0A0D3F1C7F2B750C4200A4D10B3015236G86B49128ECABE0C0D9A5105B00D23F6AC8F682A582D5ED03FE81B2ED6FC836G0D87AAAA853DC0269D9D49B62088204A1D4087E45A85FCC021C0A9E5104701C259EFB94481D0GD09210E5B71DC3EAF1FCA4BEF725A972F7030663031FFF7708D84F5E239D9FF99BD83DABGEF
01561     8772838A860A840A83CA2D68C84E852AGEA8772838A860A840A83CA5D8B65C095C06DC0FEC041C011C0F1C0297B209C2882289D488FA898A892A88EA8F5BF1483D5G358379818583C582458125D5F6A46783D582B9ABF13E9133AEF01A675C415A1F3749D74663FBA4445A9F7FE6F101FF333E403FD93F31DF566758D7ACFE0C7431BEE5F1456247DB9FD87C3198E1B12444D97C8CA74B62CDF9DCA45501452CA7999663AC06BD153378473FD9EC6B4A0B45F8D0E2EC7C305FAC0DDD966FC379EFD378BFD62ABF
01562     0E8FCFB2960DCFE98AFF5998676D32DD0C39A0298DA3F6986B33ED147190AF7BCC446A776B070A5565526F4A9F981FCABA2478FB16626FEF94FF17CB3FDF1A4439269AE80E87FD8700585C74F39FFCE039FE8750FA8D7E1597321B8C5A117DAE99C206DD5B648DD17E29626F358665ECDE3BCC03AD14FE3F5060FB0671FF33626F8D526FDE207DC3482C519CFF2478FB3A744B2ECBF681ED170E37FA50152C78FB11177DA54E1BCB73595C439F72ECB0D0E4A51EBB5FDC11ED62F30A1D56DEBB4EA28E75408440EE
01563     134F24027775152CAD6DA76CDD6EB2FB379D2E1A3A5C3D52B97CBFABD9BCCA730BD617894F7D9FF01C4DB7F7418420177069398B848EBA143395AC1F4B4B2DEEF70F23394FED2F363B5D0E2EB6D97E23DC66CB2FEAAA5BAB55B5E7B52B6BA428E3A2D06A812C6B55392C5FF11ED069F2F574F557309910B45FF81ADFD7E581FF5181BC9FED2DE7D86D81F12E9658EE0EB19EB771BDDCD76BE5FF184B3DBFAFB03BB8CE96181E775A46F4AF7914B1A5EC141E88B409F9C6322407612C8FD98EE139E23EC9640005D2
01564     ACFFA2455867D2CC32B145469B4BFFAC7731317B259463ECAC30B14A7240E6A94E3F12621E6594B686D87EE2639047954BD1D61348FD184F042F5FF2DF47C29BCDG0A83CABF5811DC8CE48172838A851A88E4BA84F39120AA208120C020C820A9C019D5F09D85548EB486E8BC50A420542FBB128B01EA01C6818583C583A582E59F06F98DD0B750D82089C0F1C06955E09F4882648794DA0D713151BDEA5A8FEF57F9DE342DB2577A52464A767594ABD69F626A7F537FBE923178980F459F9207F83E76B69659DC
01565     011DAF3D0DC9E5BCFA2A4BD0675C7FCF7F7BC91C13AF4E73BC27981BE7BC2738BA4FF8CE9114B7741CA1A44FE84EA04AEE4BE3E341555F2518030C4FE36B8AAD2E2EAEBB1F881108C92CA73FD2436A6168F2380FBAECEDF6F73563149D009AB617B81B2FDDCC047C9FDF0D57747D4B701A5EF66497264253CE43F549B18BAE1DD1D6A34E7B35B572B53D70694ED5ECEEE3F75ABB2121F6397A3A5C827FBDDF9711705EE40E3D3F3499FE33614437334F6DF6F565DBF9B58A44CF153D27555553E937659E371E3096
01566     D87B5D853C9B8AF67062F276F7DE766A555B32B5EB62793DF67791C72F83A6CE39F5F9C7728AC5AED9E84AF473B5305C3D1D5D2E9EF74D49EE3B5A2E21B2070639C9E13EB797542FB5217EDF659DD5682F3236F400862FCD2878F5D656C9B6868E57ABED40AC5851E2F57BE0C5AD213333DE329356ECB53283B16B3BA99252D9AB2236BBB2D5D92F9D3D3D200F07341746B492BACB9BA4BBDB77DA0D6C78D2AF3D104E5AC62A57679B795AFC6EE1FB276B04DDD87542D20F0EDDE7E39359583138DAD127CAC72FBB
01567     5F897FD543E89B36B20C3B29D249ADDBA81674CFDAA76A3043E67325E32CBAF6DD9DB6D39D021619956D640B199EA3897DA8AD94F66E7856A26A8265A7A0B6FD2A10310C5E56DAE1EBC6DB1D30057C5EF60DD5A96029F7562E43361BDDEB437EA96FE2570B3EF61331143EDE6B053D73D30EAB7AEA84A6FB069054DBAD42FA3EF3301D5B558AFA5B2CF683B90F2D3BC158ECBDD92B6E430356CEFB8D1C73F7BB6CCEDBFE077D64B0DD2862EF5AEFBF293031C9582849BCB3140DD6D7CBDFEF817F3F52556B561E8E
01568     F73302A14E069EBC59CD7A18A74558460737D6F2DFEAAA3DEDD5F765106D38D968ED37D6E00C56D4FA97154827BF97CAE3B9ED5FC1C59CFA2536C7452A573C965B61585707D5F942BB27B54CFA7DB4E6BF6C58A735331781652E9CA212562DC73DB767F49B6A7D01C124352E0A1EF5C542F6410098ABD5B045357770F85B656AECF66DF48D8C59EC5DFAFEFD4BC9E325FCFF1D52C6F58B28724508CAC0EF0546C15BE929AE2046556BE0EC5E1951736B2DC8E3A260139A2D8DAF82215B00DB9D8D6B2571E1BAF14A
01569     337E9F989006DE2822E2BD0D2517F709D8AF9F6836F6593C98C7F68523FE06CAE3E85A0AAA2E373A5D55DF5E53636A71C2F52F1AD72FDDBA47BD622EA15D872C5D5DF0216625F69537DE3FB4D6C63B4B387E0376FEAF74F6A117DE1FF41E9A6F58AD2E25609A558B05AEE253EB5C086D7BD10B6837EAAB1BDFF9D3FD8523DE6FA63ACE5A3F1B74FA295513CE9A2F273E3C4AF32CF73A7AFA6D857C7F43F00A32766AAFAA8F30C2DF637D00CAE325C715DB5925CEB14DF5FF7DD1867CAABC2DF2F577F59F30F77509
01570     722E133361F79F83763A6D1DB40EEEF15761B9142E2D10E9381329CEC05F161B51CE0DCD643EEF7B2CDDEEC7AB93132A3D2347EE751C190C79553929C84ACD37AC39FCA89BBFB0BBF970C44ECF5A3E1295723EE2577462DE4D5182361EB1D053116C8F94D40377EA36FE494A71DE0DF4C3EA174BA9CD0020ACC92C33EC48D02C1D045708BD0A73287C96D5F959B722FC8C7C0A72420DC665C1D4FE2BE179F8AADF374928BC0A4AEFB3AC1FC465C545C66589D4FE3BE1F96A91AC5F385928BC0B4A6FB0ACAF247262
01571     ADC665E5D4FE27E1F9AD15EF59EAD46E24723B8D4BC7D1791E922372GAA0FB4AC8F26723DDF991507D379C3066551D43EFF1BD179E4AA0FB2ACCF2472435B0D4A530EE2790CD22372ECAABF47303C084A676EB0AA2F20728B8D4B4DD4BEFF27D1F9B7150FB1AC9FCD658BF699150F2572CB8C4BC328FCE119D17984AA3F4630BC064A334B0D4A63287CDA4372A4AADF3A5B28BC3D964B2FB7AC4F21721CBDC66545D4FE03E1F9A5140BBD50ABAA14FB20AD35D27B41EF8869E858275491D12B4DE1676EB34C91A4
01572     BFFB3FE10EB80665679B16E79D43DC1B1B1F8E3F3D76EF7B6CDDADF6F68D8F27945C5B177F21266C085559A76F995C144F6E9BB9957752853EEA3571BAF561EA363F3C0374972D1EE1E2FB7F04CE312E9EEAE5BA3BFB9C1D561E13ECF300341FBC31C159160560BF5BFBDE833F6DC0C256564C5678353B38057CF975CA79D112BC7BBB987E2E29E3BC8F1E407D6893G1B8814F8CC6C87A82E933C19750C6F02FE648B84FCBC5044BA21AFDE4537FBG79ECF0BCD8AF730D2BD7723DC3FCD1F0BCD94117E2D6725D
01573     FC92790A812FB24BFC5DAA3E66D3489784F83802AFD6457771F748175E50111C5BA073D5B4A8799EA23EC1408394FCE1AA3EB30348B79970A4202CC641D75C28645BFC9A795A819F8594A871052978DEA73E4900A7A978321A14FC3FBC03FCD50037B749FCFEAA3E3A6F11AF9C7018A6593F84955FAF9653F389160E64920B2C4FECD172FD73857285G9E22600BD2714D4AC63E94AB58344AF6CB2CCA3EFB084F8D38BFD008D570052B787A16A0DF3C441752AC69EBD672EDDA0AFCCE40C78385C9FC93D4FC2F93
01574     DFBC60A9AD1083DB24FEEBD1725D348C79AC008FA878462A781AF210AF8270D885DF120AEF61F2644B35F5A41782D9ECD2BC5B14FCFFA63E3192DF28449727623BE08545339D62992842AE751BDDB5AED7A21FBF60C18A3E88955FBB4417GF8DA2B4C175F2A9A173948E7865C8D9450AA7802D4FC2DF94897A37145CBFCB9EDCA3E5CD548D7833893483FCD70852A781EA63EC840A7A978CC6DCA3ECB3FC43EFC404B5AE5BE1B0AEFEFBE45B360A1C0D16D02EF120AEF5AEA64CBF540FC46A17315BA14FC3FA33E
01575     F640C7A97882D5FC478B289E00CFD270190EAB797256D03C9C976DD7FADC708D2A786209AF9270C9C0268E41175121643B2190794AGB7838DCAFC7EAA3E063514B7A43E9809AF4DA95D2BF5B23EAB68B921B5045D4A31D7E71ACC8F2660738F8752154FB3197FFA3E613DE0C663A47D21CE6DF3A17EEB185EE840A7B971DCFE73EA659E379D3D3D2E96873FC8134E4B8D854A7B4482EBAEE057432D0E1EDE775EAE1BFDG4F6D6D854CD736EFDF022573F3559E23E7CD4AED8E372B8737906E6A67D7FB3B686679
01576     91073DDF2A7B956B144FC78D1A3BE64C71D07784294E991DF25D5B4D2353049FB7FD791537FE5438F639EC768A1826E8BC42673B1E5F007DD653094FD935EDC44C1F30B842A288F3ECC2AC0930FF93D65405D8C7B1E2CE4262898BA22CF3B3E231043DC2D8068BB1579644AA891BC258E8423E5D0AD8B8E12F9316C058199244723B917B00B09BE1233EC2EC9CE1D337A196C358D90425FD0BD87276D4A90E4A88BB1730C1423EAAC559B0426EADC53EF8424AF650F3F9BD74FC9CE1E642F66FC4AC003087880BA2
01577     2CE297E2A93D08BDC8D889E17B4A90F393768F42C288BBDA0E58E442A6921665C66C58EE0ABF429EA74C1F307ABD94FF044592166446F97031596C19BB7E2CE30B2B3340515CD950F72233405A6CAE3043G593205AFFF9DF17476D91DFC0AAD0D03468AEC6322BEFC067057FB7933F0F0BC9AE8DC9F5AF8716325430E3F3DADEC31C6681E300F7A348FFD5F319F31F8427EC8D84E8934751F4FB231BEECE9E92020375F51558655584D1EC592F24D0DCC0E6DE7B31FC05F23AC4C77GB88E810AA0FDB3B2330C75
01578     51DA21103F03BF93968BF289C0E97DF09E614FF23D4E1F7162BE82E66E276BD55575F4G6061C01300247BDE7D6B6057770DB818FB67F03D6A9DB8F8CEF96663D249EEC859D526685B479ABE53197E54E5B3927A25E7B586643CBA617A18D9B1C022FE3F6B47E75EEC40B3EEG6B6757252DDF8C14A58EE07D968D4C146BA7791CBCAF9BFE075B68A36AE02AD25621F655CF8C6B9065B8B5A36D2474DC6AC9398EFEB7464C9AF7A35641B500F59885BC63CFE29D7E58EED407A9A7B1B6EA5A16113FC36E9A121E6B
01579     DBF6926D241C027977A934E3B23463BE05F6A64DDEAE5B99FA5F902B9E3775CF326587FAA6102DD4C3DB09E46B2EAD39FADB9EB75888DB671FC2DBE95F411C71BB3455EEB332B5789D5AFA2DD02E57B03B8F28DE5B3FC3DBE3C0CFA459EABCE6E44BB408368AD6646AED8DD32FB748D68668299C2438E8B432B51AEC7D69F3166F065FBA04F57A55A05A998BBA22494E3FFB14F6D2CF433584D055E99CC373CE736BB55556G9C7F7F1E37046ABB443EGEA576653B40EC17F385368437DD6DDDD21AC11FCF87034
01580     FE9C5F3D0055FF78EDC7E87B73B394BFE7A0FE4E206DA633116D41B3584E45C716D3BBFB9BBFFFA1DBE3C0CFA459F2549B59B2FD0F36DA162D146A69454EA34956595FD37C001E4A6FE92D3FC15B2F2321AC18EC7D6A639CE64B0B6DB1424EC30B51CEB868C8A0BBABF5FD17BF8A62E7945AF921B1CF7413F7BB00288D4FFCC131823A460D22B5F2DDFFB1FBB1E46F5B7CFC6AAFAFCDF2FB6B3251DE9C684A7E895A7B0B2E9DEB21EC70A7E86F4C77EC1F398F3B0D247ABDCF7646002EC832B7C7E54FF41608115C
01581     33F0AC9CD8A22DD996887BFF7FF219329FBD6F9B116CDE3D846D1600CEB7691D3E144D513C3F9507B9E07671A16CAB7788C876ADCB51FE88581EFC96563BD5574ED9E743757459685F83CBBD672187BEE44F828C39B709626A73E5E83F86F47B1F0D76CF6962B8824A62487ED94B74B9A84C7A3908EDCFFB00A41BB1E4B38974950DC61B6F69E21959F40E46585ABAEBB14532E7934206DF8E4DAFC0FEBC59D85DE4E4E38A59E8DC102D48B99E2DF09BA54BE9EE71D318DB7C94EDC457EBE31659F07F945B6E7A65
01582     6A187D7C5BAC5EDFC384AB3717C0767CC0578452D73FE2E431FA2047482EAAC845FCF3855ACD841B05BF43FA2ED275D7BB60E30042FEC6734D157A9879F0B59B9FDE6CFA127A513592EDC702DE53B9E87B35D6A35B4567E0BFDEB718A35B99F26313B4CF4CC5BB1520E3B459195EE6E4A71C6C7CF3932F4F70BB1FF00EC8F622C1C72A9F5D2BEA55468C33D36A07ED39ADCF9DB3C51FACD15B751465A43B976551B8871D7E24772D3C11454E1CE20F7655D9CE327F75AA349F416ACC75EEEE530EC7D66F22F3513F
01583     712B74B17446819637C3ED1492B6E7FF09B6ABC05F28F35166A43B114D7167E21FDE5E451E239AE63714D42FFB49C69448271C07B6DEB734D1F29E5A18F3F409E4E348BDD354FEBD79E8278AF478111D1BF4F6A6C0596473307D9E4B57375FE57B599A2547FDD5E4734B55B46EC1DF6179E87322F2A31B6D67E35DB2CC1F412F67EDD6287FDF24FF90E443C87FE2DD0EE67A63C93FEB866B7F21B6DC897DBFAFC07DA6FF488D7E283F6F34117EEEFF549FB26DB3C97F507E9FDE037AC703EC38BF36791DEB60D4EC
01584     72ED63950E2BBF3515FA9AD7BE6C38927EFDD4087EA500EF7997E07DCF2B2EF1EC9708E7257DAFC07F878B75B113F7184F0F3D58CCA53DF309EC87025E09E4BBD8F54D18FEA1748B1079C2343DE12DBA4F7D391565D7AFF6D7C9FD723335E8379BF486135E17570EAC4F459D5966593E17FB2A685DD76BD477955E3B5163FD05C9970AF513048B357795A62CE56BE86997F5A467DC0477951EADE04F5661FD0543B05533F635B95963EE52F3FCEB12C51BCA47172EE1F679FDFD936E75FAEF9D6B17E250D9836484
01585     9A8D94C4B6328A07FD07D57940906F30FAE903AF6F220A38881F4DF6EE74C5EEA2493D6C13DCBC49F5ED72C54EB48665DE75C9AE03643A0BFD114BA53957FC12ABA1391E4D3E48D5115C9BBE4959C84E3D4597398112FB53A7B9FF12BB31559739C0121BD6620BDC98491D6D13DCA44925FC650BDCAC497D54A739A9A4B7E31BAFF2A997235CB9BE49E512DC6AF6EF6472AF96792D1464AE74CA2EC612EBA7391D253E78B9C8F277F9A5B7C63297C4F2FBF778E2EFBC49BD6413DC94496D5F690B5CA4120B72C9AE
01586     01648E6C72C5AE759214FB44A739AC12BBD4660BDCA149BD6113DC9949194BFD112BA539A7FD12F312DC63EEDF64C6115C3FFC128BA0B94B9EDF6402C96EE91F6442C92E2542C8AE7A92B1EEA6DF22FF2F0EF89F6362FDEC3E16F809F89F63D442D7F2BC6567B2AE66F721FB713D2B69D0667EB95A3FFF1FCF7384125B3D5F27F98249BD60131CA9G655A9A19DCC60071FB06F2B5F8C9G3E4F32544A6ADD95A05AA3195AE99F47AD8ADC34535FACF88F349B4AE2C8CFC98F430BAF556A594D710ACB35FA6E29C7
01587     BD35D096FEA956A37144F0754F7E053AAE52F928FFB839B20D1C18074F2FE673D403FB4262924D046FB57E09D5390F547C8B31BFF4947C867C026E7B733D85ECCE9E728BFCF7E5F5913B261C8C47264BBA12B3010A00EA015CC0E3AF43F97071C276FE14216741E2D30B38AC5A25FDC305548E613AF698FF193A5E466D7710CE2EC0F39C2351A35AE5DF3F36DD78B5B5701A46E23B7C3E8B6F51E70E45F6F9E883EB17AAB8F6820D868A840AG1A8414F2B9364B5D05C67BFD0C5AC53F59C7FE3F1828E35F40485A
01588     66EC1D1C36EDF2AED74B09FA7F279D6BDDF2B946F75E49117930C9A7277541ED6843A672411FFCF8F204BE3CB42C8F9106BEECA79FE249070BCF0D4C07EBF4F2DA9FB22EB072619A9B7A10FF857AD07E5D48FC285649E9FD30997AF069B174E110FC784F88FD18B9B81C8FE106BE7C076F17E1FB6F2248075F68F4F967435D437A10F225D14E7DF39EFB3F14C14EE57714243C72F01BB22FE4DDA96E4BD7402F79CA4CABCBFAF15F127BCA2CCB7B6911556504CECEDB1710AB0D72DFC83DB67FC5GDF9CD0927919
01589     E445FE4F98C76F58BFB3B2BF57686434FED60EB36A77DF18715CE4A39F9E9D218F4F8E6B43B8C39F826BB176424807F33F9F198F17696434BE440FB36A2F0FAD3A38BA8D671B2B605CFC956D63EC407EAA3C8A7D0CDEBCB2BF1F5249E97DEC3F4A484F83E6EDDCB1BFC781EFG7959E825798679B97A0B1179F909CECE6B67642B0C7A74AC0A2BA47221B8FBE4BE6C5649E9FDA83A5A282D36B4E87B146DD52884DE4B5558D6B39AB1D78CDC0DFE460F504FF70675B374EA233C37BC57437EC3DA0B973E6EEC40F1
01590     92C93E86AD99192F3F5549E9FDB5DDE3A4573AF4E4765CBAB92D3D4CEB0C7AF0E213368F593D6DC260AD3B867B70AA9A1766EBA80FAE9BE19E5549E97D8CB07473DE0BD13E8F815E8964672D146FA7121F0F0F504F38E17DCC8FB49A17C58DB8AEF383E98DACE7E4BE0C5349E9FD30987AE0EB42B89EA09FF6AE9F198FD5BAB95D18B374E1A66527C872611D917A103AE25831F42D11DC38CE4E4BEB32E16DE5DEEB14E75A1C6C5A49A04F609E82A9166F511DE37818831DE557E2ACDB4D18B74D57E27B752D9C61
01591     F514CECEB7662EB56A435CB674A104FC484B9D61F514CECE6B43E4C39FCA4807A4726149917A705230BE94DDE764C3ECAB66154A6B5007CB73C6664375BAB92D8F232FB312BB3AEAE4766CBAB92D3DF106F53E3C0D660CD46774AFC76643E21D1C5607F8C39FBEE9C59FD22EC79FA2C668435F06752164FAA39F7248079A72E1A0FFE4BE7CCCA7277541DF630348978155C6673EA0609DFFBD660BE76C18EF23494F352BC76667F61D1C564F54A023367AD3B97A109D04BEBCB7C29F5E985607DAC39F3EE9C29F3A
01592     49074B8BC666432FF4F2DA9F028DFD88B90DBECCA09FEA570C4C07D61D5CE24DF1E210115C6705A3331727135356B97D8623F3DF64F48F67BE5CD6A235CDD88F66735C9B68BBB4A3747519E1FD35987A7A70E98F3E62C690E95C9DB1EB6746EC4F57G68743F81475D3F0EE1FE88227A782F9DD9FD2E5049E97BBAD6D39F3126BB1BBF7F18GE5A93F44755B4C356C7D623807244A6568F21BF07F487DEB59FBA0DCBD0EB6C797E28FF12C455543DF4AACFDB7E23D6777C5272DB7FEDF74076B0D5F971D39FE68EF
01593     D0E42F7774BEE9713D08E97CD9508C28DFA110404EA62C0C3014CD08559276D3421C044DA8C6EC94E1679096C0D86AE6440289BB1730F042E6EFC1AC1A3073891BCCD85AD64492893B003034DFA176E989E25904DDC1D891E11FFF05D885E16388B39336E89BE25D04DDCD58E8423E604F070E7D1534DF09E3B95B11AF1478EEA03E8842A692DFACE147CA911BC2586325FA9B7FA23E14E064336CC0AC133027894BA72CF9A7E22504BDCBD88DE136DD083593769CE103043516A1B6063057898BA22C379C317104
01594     A59096C5D85FEE44A6917696E18904756FC1AC75C64492894BA26C94FFEE34900ECB89FB02E315F0EC3B9173D08EFB651D14DBD6AB7E7E5DDEEF3FEDB29292B67E72235A90F50E5D07ED63C76D50309F31F104BDC5D8A8E1E7783AD4849C479176E8A336E192E1B59606E57F9A465C2F699E33156DE9AC2563AAFE4C1EBD954793AD3E541D69713DFDDF7349C6328F3C320D1DBD2CDE6DD44FCAFE4C5E6FA06D35299F4E07F69F6B2677A1F6D89B3E56CDC90B387C8BEE766D8D5D378758538CA6FC0F601A7ED992
01595     CF395BF5003DD3CF5A3B1E6761D969AAAB1CF9459C61CEDAAF767BB5BEAB6D58416E43CF006309C0D3280D4D3A7DBD29B7415887AA84AA3BC95F1E523BA60ABC1F2BEDC546676A63C5EC0E506B6A6BE931EB4F475F96E5D219FCE717CD64D833881ED3DC5EED6DE9336B4E67BF6172224C137CF9C51E4E7922DF9E7C1855291BBDFCA5765E16D95DD629BF5ED07647AE569F523AF8BF36F56DCD58562F3432369E834741C093EE22EB49AE233D8B9321BC9E489462292DE3B6F8EE6BA7B6983775539BBC37F55C06
01596     615B7A358D1E5BBAF14370EDBDF5232736966D99B220EC4FF5B47E5EEFB7EA238CE81BDC209203B6927AACA7157A56133E92C3FDD5204786B460D1DF46A9253EA252D7E6284F9F74848205F95497295237017485590C74C5021ED820A99E758DFE2754371174DDF14CC8DF4AEFE0CE83147F9BCF7A8A87157AB6497D512855D78ABAEA005A01860146E8F48AFD13D57A583EF5E94D321C0DB5037CD55D5263F2BAD9962331B53D9D2F5D02FE03E3EB835FE7948B4789C0E9B76358DA516BE9DFD08E70945F6C295E
01597     571CD67A493E29A02E45CA8EAB2F45AAEF966FFA9800DF7F1B71DAECF2BD0E7D201B513FCDCD5CBFB8CEGCA3B857D1B5AEC64DF8E149783D55E62493F5AB333957E2DAD44FE3952EC244F82FA5CC0FEC063EEB16A17346FD57A56223E9B6A357AC2C1BE82E8A2D0BC10A954C85F84353EF558F787AD58F7992158B66F1BD95BD442318DE8B014763EFB7E56B37084EB6C060762B399B33FD059DE0F36FFCA7782224976CF386D54DB617A862878D65AF7E8B54C8FD0EE839AG723F55285EF72BED97E1BB1EE358
01598     AF0120A38CA892A856D01FABDB25EF83562527815BF14A2DD8174F783763F3FF8B73F1205A5FE2DD666846AAD2B7700C7E2D2798DB36C4E5FB9356E50F2ADF46EA64C360F882D08CD01CD4A674BD2156C76F193EEA298A5F0CF5CC27D8C97AAD5671D65EDFC5374158G325D06F53C4EE32C8C824F185B54BE865D0631D23BCCE9FBDDA15AFE4B0231B27EB6347D1FC6E6FB8A9C2706C13C04216D5F9946CAB114D782D942BC356F029C15ED9AF31B8D6B6286BDFEC06300C2430CE265FE353EF5284F5124559781
01599     7293016201CC37F7A4E75CEE246F64F2153E7528AFCD954B399A5992B82E8232A9F021EF6D8A15BE7A86499BEAFC9376411BB4DE87EE47BEE8607D9F8A4711C013EE47BEE8B59CDFC809401776BB23BA062CD459AE266B54362174E5032EA2C3FD16DC153E4D28EF47107AAAC01759D0DFC61ED25FFA4A73CF37AA75F5EBE4C74371D8C3FDD1EAFD749E748BD729F00A1D2BF5FE07005E89C0B1C0F1C0C906F676FC2952C73113552A5517FEC7C7F28ED0B1D0A510658EA3FD6F2A75D1DEAD5069F3033C9F50B820
01600     D02088C3FD37642B74D1DE0D2A46181BF8873DCF2A0C45DC7AF818EB82150E4718FB412E35DD8BE5CE20D1C08163BD0D7B7655AA5B9B31AEFF56BD83908CBA42012201A6FB5417D52052C7F93ACEB76E93C1C75A1D103B000A6E7424AFDA2D0F46442D3ABDF29520438C548DB45A233E0B562872BBFD8B61F0214A8E0D15BBFB0C464AD8509FE2E0C336B3E72DD2DF9165728B4D38B6BE61CE6C53B7EAD91FA642F17ADD502FF7E11FCED64D13CB6F126D55405F6DC003C0E36E5266367B54365762B5517CCDEC5F
01601     BBFB0F22B8DE480FCF1AF05EEB5F41E316DFB315F7592485F2718E49CF793A72BFD3CC26795368DD139CFB8930EF887B1C2FAB3F8A5835040D6358FB003DC858A23E2E7CB2E06CE3DA823B3A98793EA36C8B3E2E7CA2E08F909648319B270AEF038AEC89DFD7FE92787226A2F65D9674250330E5DB516EE3A49B4431E55378B7D5A42CD03CF7909A66F27279D60EAD846C85425671F565F3C17F5A69085D4631E74146B5E437E89BE2FFA16CF60EBDAA55C3744147C759F86FF408566FA5FF3672F564C7C1FE49D4
01602     FC1E61CF5BD95C845DA5BFBFA2F8DF653CFF85DE87596AAE453EFA14785E62587D007D1C787A79DA726F813B0F30C40ECD858797D29F1C64EB4953812BA66C9D0E3D8932BFA16CBB3E167CB4E0379216348B7B6A8942CE7335645FG1D26F61C45570D9731F6A46CBC0E35CCD3E2F3783A71EDC09793664F31BFCFD5E2F3793A71EB531458059CDB1022446673F563F7D92C276018FA012F73396D836ED0E8EF13E9B5FB94C06A33DB7B59F8EE6D31F642E5E2F5373D45D4F1B7DF9F27F72FA7C8E3B475EE711B8B
01603     3F42569BFC3DF6B9A87A146C3B795A6C67F07CG45591B9C7B8430D72721CF17B632B5BA1B3D555A67F46FF23AFA6D073A6DBDD6697B94115C07D05AEBB8860E05DF710D68D7DAB864DF20D2A08B5028F01C0BF6D878DEE6071BBFE3AD6A7C99FBCCDC32EDBE455E9F20F94F79AED7171B5F4BE2974802EFBEFFDF1F5197CDC40E3BD7B5DF8D847BE161220DA261B7B6DC1FE3C56CBF49578A27040B581FCEF89C47D36E11F1699DAB9CE74719D0B6F88F5D2F60B1BB099D93964E3154FBBB12B36FC5EC890F599C
01604     B8AEA16C352FF1ED3C6ADEFA16D4756C4AA060E36E95F588025F7177FA2A4F19B666DF543D426F8504DF4471C485AE3DA7072F5F31631C5F435C6277F44F238BFDAF1900D8098BFD2FA06C0B8E745DCC58C78E148DA16C0483E54793766B63A89BC5D8F5BB4AE67D813130F6144DA56C8212ADA12C1EE47D898BA7593104B95BD0B604303BEDA81BC4D8169DE5D37FC87784DBD1B60B30DB0F212C13308F6BD0F60030E4B34A7A9376D19346CDACE1471AD05F94426EEAC2FDC90479D9D1DF7AFD087D110FD38B9C
01605     3B6F43D81A2DDA47733BCF9DBB636E7394CBB7727527507B344F3F5D46718977E91FFF5B4AF1F69C8DE5C5916853D73D5487046D6F24BE0840F709FC196AE13D2C465A5CEC3729564B5C07D351D6844EFF1EB84C57BD6E07DC84D4FCBF567FC55DFACF557D224EB6789D38DFDDFF7F7B71793F87787AD6607D5A31B41163D177EB4752D7CDB8169221EC741F302E194D581F698FA0F632995BA40B30FDCD58A605047D560C322388DB5800327E04A5527D35C042DE63EBF6D360B8A512468347B261B81F3069E423
01606     1430D6B35A28A42C2F81EDD888FB338EED04C6E2FBD7DB146D9D9129EE5F09111E622D072F7544C7EA63ED1063C9115AF8CBE940F8CBFB90666B8F527E03C674BD0630D28B7A9EC718150F1F3407A02FBC043E1F273A66AE813C6AA1A9D660F760A1CF3E3F492F617D9F92BE4EA4FCAA77B1C8018B5F4F617C6CB89C4A327FCC771F2D58972389FB420A7599C3D8A075F790E189545F8904DDCDFD1B9A05588754379904BDC0FD1BCB580724EFA08A5B27DF350E639F25EE0F40A8CF6DF3A1EF0730A8ED5F0E65F8
01607     C41436EF3329EFE3202C78E174E9A9756DB84292E85C049256486B938347F1045DC2F5CCA46C939E3F950FF4A45B9E21BD8F945383047D12E37EF09C78883645C72AB88FFBC4DD7748C7BC3545F2DE3758C734ED31C6447FA35A3638430CED1184E5163F20CFF7D29E08A06C95EA0B09044D27B8CF7A8B7A7E2EC51B935323053FB970DB9C2D763DB29AF36239BC47D92235B9718A0E7BC7EBF362870D189347C3D959DF512707A94E2389AB201C98CB58FA9A37D3882BEA20FC75B7BA87D3DBD492F6025A4272B7
01608     F5DE8B05638842C6F13E09F09CCF5803F48EB67D9D31D5963411C6D8G45D4B6E10F54210DEE4216F13B2361F8ACE1AE1A8F849376B19FF309F01C96C3739A0EE543F1C98C6D77D76529AA40EDB1224F866057BF46D36C6571988B0C917D74B9615BB9BEC9010B7EEB613147799E0578F994FDBACD3ECF7C8735C5BD56BB771F081551DC2B0430032D4867CFD8AD71859276E7621BC2D8A247D2A6421CFA225EC6AEE1B737E2BB8E90F6FB9B4E357C897BCF9B76F3A0E1F5B4E78CA1AC5D01B6A69056C07E25BFC6
01609     715A0AB6F2886BEFC59B4504CDECC59BE5049DEAC79B3504DDE94779DCB0E165E4A31C30F349C6B4E17FA69B3104FDC6B6269016DC07B6CA9F47787AEB35B6BF54BCAEE22A9DFE879FD747571847B1BF141573735D63A20E66D2FCD5F3BCD201CB6FDE606B106CB89E4AEA1FC01F5E67750E006309046D6175090763A442C2C43DE341FEACE266962CE391E14F14E31B0DA6EC45EEEC3331041D339B5BAC0830035528EFBCE15F523CBD75C90AAF4A99D904FDCCB9A31730BBE95EDEC2D864E90ACD42524ED0EC92
01610     56F906E21330597D941B04C5733D40EC9FDB7AD308ED607370ACB8AEFA8A7B796714C7AAGB3BF256E57EEB89E8DB4D6010B7EECBB467AAD64A96DB96CDB0E07BF25BD077D27964FE1D1D0D678AF7469DDFE6D94G4741043570BC9285471389EB104F5D04797139C056A450B789313FF12C8C0EEBA751FBFD36B3B744FB655694AB5FAB973648B583573C347952B9C94A2752AFFB2F1C3876485C1BAA4904C05964C98C5B3DD7792EBEF63EBBB7C56C199665832AF2F63D53A6158B3F3E2C47EF4954EC7C15A977
01611     6C0199F3BD78157F347027CA7A8D1A776CF40B258A5FF54C6F0BAAAE1F8A0EBA3AEC2E7EDD2E2EDE37354B5DDBD036373A6AD0F5F9532103CD3BAA618FE17FE91332DDCC6157F9FC5F1E1FE4F71C741B3870596922DDBEEC42F609F99A5B65EA557BA9190F7FD135CBF413365D58BB3F6572E996E5B9737531E4E5F911C55B2EA8AF6261D1AB1EAF521E2171422F758B61380C30F369DA3F1D30CDBBB066861F41D8FA16E301F09CC658AB9CE35F580B20E7767BF6F83B0710697106EF1EE4177DCA4FBEFAEDE33A
01612     17FC58C7783B50F49EDF436A6C32F73A3A9CADE2AD70DA0E7D8BA87699DC677B7BCE753A667DFC4C0932C0BB3B0F50ECED69E86BF175F559F0CDF19FDF8B0B879D09C0454FB2AC75F076903E65BC2B5C57FCF5BF766D28E769DA209F7BF68CE1DDA731EF43880B9B403E0DFC161EB3EFE336B3A7C3FE842A826A868AG9A8F948BE4FA0E1ED1633C6CFB876C1B090352378E2B24EF9466CA5F961466EA2D238C6A42F4733C725C507DDFB5F96872CC29BCD672BBC041BFDE713770E5D11B11AF33CC72789B4A56CC
01613     AFE3E73E94F3F394E5F395FF0B98392A14D5DF44021D2FADE6C3DB648379BF47300D9DE592FF2DC19BB1DBF80EE164849EC69FC936C7BDA75F4F9076FE35C336F78D1F4F45G4FA432770763E8AF6DF9E3FB49C3584BFEDEEB6F7B1D323DA7793CAB9FF80A1FC7FBC1E44F66415E74A16C8D686C9D5DA55BFB0E5B9B8DBCE3485E59EDE8AF5C033D19C3580B5659DBD3A65BAB6779B396F862485E3AD634177102313DD9C3584BFDC1EB2F3FDC3637154FD90B00277485347719996DB9BD581BB3D43CA86C899B5B
01614     78796CB9A0FFA893BE9C5AAD7B70ACAF9F87E5416443B5D674A146038FF30770A1CE610374CE6AC656A752B7A2A43BD39A71BC1B70826633A56D188BD363E82EC8F37D4CB84CC53708FD67F4FCA7BFCE22DC3523E7244F96B01D4371C87770C7EC431B7D68220DDA79DCF79478649F07772B1ABB71FE55F8402200620152DE041C73A2567F6461217634D43E68693A7AD0B5DF97F9D13B7ED74F710197356BFFCF9F46753FB1D01670A27619490C672F5AFF531AA02DED8C9296C46BFFE3880B60D8989CC77E9B6B
01615     73F0D3B60BC54683147192649FA0B350A820C02008171077A94E4B3E75B2CA7AC6ADFB67887B86ED7CCB625B2CE971483B2BE914D4FFA62FED93E64B287DE2BC602394FE859A68B3228C723B15FCB1BAFFF91A7BF80AA5B6BED9DEE239E23E17F1497C9079612BBDA60A416B78FAD6BE34D9F1BC6687EB93657CF85F4FB183715A1C78D105EC2F044749E86099C37666133DF08F7606BA47C447EB73D12AD91F0F3EB0E3BE0A0D2779E03DFE5E78EF0E5D87B4A59E73694B8A7FAF62FACCAFC31C3D0C7E7BB7207F
01616     45AF7BBE8728FCD91B539757232F35AF6338B9EE415C69A46CF7346EB878B2BD1B5E40F2E5949D1F450F593717257BEC8D7F0D6732228C6AA9674EE57F959B1EE2DF34519A1EC762D8DB3C0C3973A83DA3A67B9518E78255G390182DE41BEDFE1654FE16087F4588B8DC967F97CBA0C75C958AB5846571A315D1388FB0772DF5A2B0839E94D3F1030453436DB76AA2DE973354AGB88E871ACC78CC3E36493E3DD4A2FD5BDA60971831AD992F329D82DE5577C13881B6DCCED8E07AA559504E1D0D7A40176BB4C6
01617     523556DE9335F38A4FB9E9D3601CBF8547509D0DB8064A26686B0057791E46D06D946D98DAC4635DB6854771D57BE49FF2F99E9A0032516443D3B40EC3BD78B0D45E0B5079301546F174940C098B9BB01EA69376B82D9BA5CC41FE8F6063366CB5BC3E1A9F33EF19CB4FD770B1464AFF68B8739C975B398DEF66B3A3A151C67B793831C1BD3ADF43F1BC074671B840C201220126G253F0E63382F01BD2F5E6C6A618FC259DE97F91835D1616B581FFF227E8CFEFD7839FDB870C43FAE7767645735671502BA187B
01618     08EFCE6CE8E9019452E3F53BFAC4BD7670397E13C0D3C0CEE067F30C2FAF3E01FE5F43B176D9D8F6F692FCB1F598A769EFE0CC64D33E4FA1EC0072FD519B9887DF72BA0F26638D6238990F6FB1EBF3B1637D6F4649BFF4B67E1BB1A35A6899BEC646026FC1EFE01CCC27B80986ECB2D0CA823497D0D9827641F64A6936843AE7EC457C9DC218BF5D570BA62C15662F13897B994DDFD35F44B63E084FC9B360B89F288C4882B4G94G948294C93C011C17FD7BAD2585F8DA44BBA5E261B78EF8CAED2077AD641D4E
01619     670CCC47BCC93F2FEDB7A049208F5A72B249E74B903A05AF395C97DC9F99C97F62BA4BFC13719CF82654CF330650A172F85FFE934545D15EEF3950E6C5EF61385FE741F1EFF94B77792B7BAD6D7C7562CA591E48552318AD32F7814DDF47FB30B7547CB56AADED1ED9E4574FDFAF2273594437B017DC56241F3F5E5C0473577837703C67B8A07BDF4DF3C89214253E0D7E5FC4F93268ED5F672F95EFEB4FFBEFD3BE2BF99BFD5D53244F5715E6FE1DCFFE7C0C56C646F970C3192FC301A762ED590F09EFEB5B3155
01620     2E4F355B691CBC19FC6B29771C574F2F473C1E78B6660085F48ECFCDC42C2D81F3CAA6E1CF531C3004301F521C30AA9147791A8676BCEBA09C07834582A581E57D8764004CC083C0E3004200220126G253DC36FD3667205F0DC8514EB079C8964EE859E20EE401CEDA08F3F1360372C9D62629D711DA669B9A5F334262D19DD237197E600B3DF87A4FF66C975B0AB7C74A6B70CB1604B72A04B5A887F0ECD9CAEEF856A6AB657837FC78658AC1348D51FABE21065AF36077DD3AF6AB54FA47659FB4A05DAD24E2D
01621     07DA479663A50046CB74BB7AF640359C4CBD1301A7719DF93C243D2B9D3777505848FC9747E4BD2D47663F2B37B1D3E32394F8EA5E15ED346BEC08FD866C58CDB6DCE4434F4046D413FACDF45C3B6A7C932A3311C0B6425F45B19EEF55671FA56C7626A95A202EA9C91E57E6B187E582CFFE126CC7E912560FFF129F15C9B89FF90A6F65F88D4812047979CF87CDA4F3B6DF8F6D063241A474EB2503663186FE61DE85CF79B9DC67574F482FC8724B4C31BF834512DFD79F127D1A4A7D0E0732C4722B359D7D4AF9
01622     4FB8B6709E8B732B98F8AA5F137D323C2775AB420EFEB95FC33F3A38DFCFG0DFA8F7DBAD1A57B35107BB5864A463D07FE2DA53FA28D7C1A2A71AB96F826A87CCAF9DF6BD73EBCBFFF1F6E4DD5E33E4FA12C799B4C7795049515E13EB793D6D306F348D16FE38E5ED74E66327EF09C84948E9483948F147A81729C63BC598E48638E71DE76D1701B8D65A16D746E19B28B7CB299CF390369D76512773D4B5168CFB8797C863765A91FEA73990EA1EFEC615AA65E6BD9E87A28D5BF5749EF45F3F35987B84E9BDB55
01623     77F88FFEEDA29D77359A5F63FD026B29819D168FB006FADBB0067C8D5A921F3740B19788BCE19F48B1947901B60644F3BB6CFEF44C879847AB8E4BF19C4A4BA7C359947241DE0DBEE4191C434EAB8B01C7B96E4B60D86D4395B4B72C02B261437B8A9F3673392105698192BEC4533D223186BECC5778902271E1024E0757789E229700224807272BE59FFE41778E45C2D99C7930241F6E51CD557BB0D363C36ED4358FA5D31D1A797CF3B5F2CCD4769A47040D5F1B29G599AA0B1EEFF4D67602360F89CE1213538
01624     B7A814302947E82F93E15FF1ACFD1AB3B9F79AE277F12C980E2B0044186ABC466257C6477D7C585C01E36E035A7F76FB3518ADE5DBAEB0E59E7BEF5BC8567C3D5074C02D72FCECCAF6C2FB645461753C9F789488948394A779A764CE559B7757A5FC6ED281FAEA00447A001B5ECFBF8A30G20B020982084A0216F1AC67DB5426F685EE5C68A723DE8F00F5354046BBB3940A75E45F849B7AC3644B3270D5B16436F916BF1696BB965E04555031F4F59E7BDE1BD54FC5C5E622E3136D15BAF5ABB543DBDCF399224
01625     EBF0EFD640AD1718EA1D2E99F3CC46FB230AD3C4FB56CA3F0526E72733DF617FCBC7D81B79C1D990D0A450A42084203469CE695D12C17C9B026C8BC0D0219DEE3735253D133D8289EBF644E16F17E176102050BD0F0F15EC50D3C23ADE5A762527B682901F399368917E05D3E96F126E996B61C844D8F2B3460499FCF083858305B36A47F348929B0BCD2775242B4F0DF245B6140B815EF8200C99B016E788B9918F63797C259430CA200199CC6E600E4CA1FC92763E634F269E6A901F3E92D869A156E61AE78ED5
01626     4F98893E71BB596FCA57CAA937B90F19286C792F59F72F3B6C7D5974B55BDDAE272BA7F7DDE1D1BE278D9B72A45E6507D92E2C069A37D3CC958CE0CC456F395C949590B8E30107181AB0C344D23C744B76A1725C4267598F74339C16BD5319AC5AF251G3649A0E081C061C051C0ECCEA35A72B23E9FAA8E300419F89E78E0G4F8359297A73GDE77637C3C88F8AA00BE120E4D29CE4D7A405E6D6C3AFFEFE7372B47AD3F6EC814DDFAD0AE2BB959EDD7764DDF3EDBC8E5D5100920EB242F1609723A320F64F2FC
01627     94143EEBA65D236C4D5473D433F7FB49F67E7C352CE7C7EFAF8482FFB91DCA4F8D27B375BC9ABD5DBD9F426FE118BA1D308BCED4A2E2662EFAB9E6B2BA3C09993117322D8357D65B21ED3FB009EBDDFEFFD47AA7747F53EC22184A6AD546146D4973E6AC7390D301D29FCFC915E3AA711BBF4C92BA17B64ABEDFF35CFB1FDFBF0EBE674E427947BB0D322F6FB749FA4F72C16F232457C2FA7FE111754EEF1675DA5B3C579BC66F3F9FCBFADFE81675CEEA11752637FA2F37259575C6135E71B6D96F2DF6D9EFE23D
01628     77FA7753F78BD2E7235EF3DBE5DD5FB471FC5503796A2CB6396C3455FBBB51342EDFCAF66A5AE5DDB31BD8D92B5559EB27BC342F1D6521015918CFC653F5E248EC63FC023902653D894093B3DB4EA7F1333579A4EE5FEC9A0B7C13DAD29D9B9D32DF251D43553130886B685709F5CCGDBE2AF7104CE6DDE6517CC4A3D462FF7EA77AACFD51567F4E977AAEF1D2AACBF52255D2B0C72E24EBA66B04EED7367609C759B3EFF28960E5DC0FE04DBB94E3ECB483EEF413E23A43D3F65302779A56A70F5FE69B7C7BB07
01629     B5D5FB320157CD3E5AD02E470973D89E3D9FBCE80EF49E035FE8A0D6D7F19E3B1E2F8B478116G141D46646EEE9CFECE50415788E0D2DA43DECBA062E863F1B90E1EA8E539D64E78725B7AC4791C1DAC676F3059F4A78ED17E577DAC0E45B9415339E54FB246D3AE663C4444DFECCABCABE63135D076ED4C93F08253EA92BC7D1FFE2874153D1432525A4C140872873F7BD8DBCEDFE6225CD6771912274C5E5B526368D6BA1DD4436FA954AB6337BDCD7405BF7C0A72E92A7200FE911701E918C356F448ED3C3D49
01630     7BFCF4C9936D9DA1DD9F32E612F2401CCED96F4B0D5E6BADA53D71247795052E0DE6E51E9358D4B34F31D64C312FF7497C479B3C37FD8F3D6BAEE7AE5AFE48A56B5AD02F4F31BF37706B553918E39F26FBF1E3668E1DE359BAD290700C1FAB675828395A9C3BEA79DCE59C08B4AB557311EE05EF966F736CE98B5DDB1B0BF976A60BB64F32B5DBB9CFBEE999BA4F4E37EA736C8ED51E5DE17514E7057F57DA3718544F48302AD6AB77ADB98B8EFCD3D933372A323CE96F411A7243C7F6D4B6D517D7166F2A59FB68
01631     A07647C37C9EDB7ABC1CFBAF23EB6201F9A2E70D015FA0A0360FD2642C2B7875EFB8E01173309FB750BD4E04F9467DB857A42F43244EF7A6E74D177B31F03E369F4716FEE610DB14AF9D156623FBBE95F9CC4B2A49D59D7333A81F99330A98096A15E364D29F46E19C3DDB26E4BE4D175C322EA255B81466D0FDF2F9388F63EEBE59F2132D97CE483A8E9B0C3BBB783E0F107958DF2F51BD5DC973BD0FBB3C5F1EGBC2969F2FFE525EB7B6B573D99867D45E2D21A07764B7E3DB8EC5E14475EDA9AFB3969B8761A
01632     0699FB978FB3766E53BD0F259EFBEF6A1E47D20F3D6B9AF261F7A7DF1B5AEDEDF13BFACE96347458617CD6696A3743455ACE7B893BD3146766096B9A3F754AE753A66F7DEEC63249783A4612AE7A23DB7A151FCDFB1B72EDE03A71751467EB2CF7876476EF2C63793FEBA556270E2F097774C95736AF556963679B1E37A726E37CDCC4F9BBED4150F91B5DCB49861E2285F27CD4AC5046CF5E963626D2D3291C97A71C14FDFE5607187912E226E681464C31E1E2667CE1E2661EE1E26655E1E266488F4E57A2BFEF
01633     256F1D7BAF9079B988FE478331B934484F3773BDAF510045AE40B96569A1671452F578A9393D1FF025717E502EFB1C7E042D9BC23E2D29D44D61B2AA199E11DF29C8AACB7B04695A6D6A696CF3DA7974D0602B2732B5941C9B2214A80B6F635F542A14A70382DFDCB51FF0F992A84A4E5D37101769A7FFE2EE37DCB777E3ED167AA14E7D466B66FE2CBC6BC34C31515F496D13BB6C7CC14E575F517BF28BC9576A537258DCF1C6565B61431C72C11A7B35135ED95F4B3AFEE9B0773B3FC9BD771BE612794F75619C
01634     94AB67A232FDDE2E2CEBDE3D5EF63359173CA96C5CC16B8593BF74B567F566497E9CB170673AFA4C03A247ED6167487405B8979AC3F3A167C2B156C6436FD8A036A7CF0C35593C8FC2818BDF0839F19C4D0562969A67C6657D65A460C94F10F3E3CE06B6B77E544546C915556D367748D7C722ACE05B82392C3A45550D17CE126C130D8B5532742DC9D11EBDA3C3A30F8C22FCC6A6AF6FF1F53BFA9DECC45120936565758B55659A7D3F7FB0DDDD2E707D6AE616974A873A2DDDB66558BFE7D6A661ECB91B7B2631
01635     FB42415A303A5D55DF5E53636AD1652231598B243283566EEE48351A39E04582A67BF51F354B6DE8F558FB147965217ECCC5D90BD5BD6B94F9622C86ED9EE171D01801F9242149283C0C4A1736991557D2F9D82B325CF41658836A24723ABAA379D1D0AE464C7DB4E682B2FC9DB3652B64B193239AB3C237BF2DB7C6792CFB5117326E8BDB753A83C9F74AC7C32D971B72E5BDF35A7463FAD31B6FF9C62ED709216DA95BBD7BB3D1614FAB2DFAFF5EEC63F9E6GF36EDFD74B7C539D5E675CDA874D7BBF421CFBE3
01636     012C6BAA835B3D2D5C369DEDDF37C666AFEB775E76E574ED07902F5BE74AF6E1732705324DA76CFA9FFFAAFC6CC49F4F2C1579677B60E3B379B859E79F0F2C13ED6ED24DFF4539E0C18D1E8B32BE966702A2782DGE26B1752DED03E3F47821873E31CF76DAF9BFE5ED530DE36FDFBB5DBA3BE54ED572C474D7C0A61555693F6B53EFDB91BA7613D26AE4AE3FFA9C81378F774AAF3EBDCB94B470A9912E2BE7640A1B62FBDE86F27FCA93E2D912B1ABB326F0B32BA0F05BA06FC0C773FF7356239D454E9E511DC27
01637     2FDB3C6F4320966C43080FFD9D079FA8ECAE5D4D7D217B1E099B947DDB6D3DBF3F28C6FF12BC78A34D8DB74A7AEF554C319E5CA4175D6C43BD0C294DE83B681321ECDFDBAC6BCFBD43ED77226DABB64BE59F1C705E7661FE346D9C5276FBDB6476FFEB2BECEB2E5B7BFB4BFFB03335216E9EFB2B3D8732F33563147C4C5D637CDC9684BE048209F95AD335EC1E967B894E37B20F61FCABBD53F89F941BCB4D126A1383BC451972FC2BB2D3BB5F3A6498636DF175D7582DE27B09307BEB3E5726B693E37E71E3EC6C
01638     F5BA3A9C1DFD1D5CEB61736BFC5F0E8D783A0937E4B7DB43D64FAB68F32252735415F578FE21F1A09783A4660845A7D71A746F94AD901BE336EC0199D7B75B6AA2CEE8D27F85501E4434CF1D523BC57F487517413199488DA456A6CEA563BD57243C6BCD4E9981066F6D493A7B2C997E1F0A768D7DD43E67EAB647C877DC4B3E127B7F7030579272757A95F4AD917FA9DE2F7F2DC1FB3D4E8611FC3D1D52B874757A46C66D753AFD1A323C3DF1686B75079B756729CF1AF01DC46CD7495846F464FC66CCAE853281
01639     8DG79FF06FBD7969CD9EA627BE08C7640145B5A6C78BEA35C8F14F04473F7435EBD4262C77AEE9813EA319F3176B858F2DBAF4A279C65FB1FDC103CBB19FE44E79FE577265C2EEE8ECA6F3F676FD66FF134353B852B04FFF4147505535E4AE1695D78352C0D685BE0E21B0D447FD9ADEB839882EE075569B8A5664B405855A63DA32099E3BA985AE552E798535333178F9553656E16F6BBC6B4FDEB3B05761FFF0EB1FD3405692F0263F620D1C0422E4516A6710E85AC7AF3347BFC016A5B3EACB037EC91F6AA45
01640     069EE1AB580636D2335056BF384ED2B82E856A4E42B9181F62BDC179BB3C49FBE25CBD32D13957010DA5CF6F4B724B9263ADA4CB3DFFC644617852EC26834AD297B91373014A00EA013A01C6830DDB04B199FA0C4D0DBD6D27928D416332476A68F2CB57107DEC7949E8BE4DEFBECA5D14EB44206C475C3C7C6C25E22632B48FF3DE79G7653F870F14AA26C273516ACFDBF6D69F158F6DA5BC4C709FE3AE000560797E3BF5D4DF5DA60F8GE84CE26C279DBB65FEFAF2407BF3E161C94CCF410BFD1DD7666CE2C7
01641     621E3333C339A7ED9268CAD8BC743DEC513F9F163173DB6A974E649C208AA08B109B489FA890A88CA892E892D0A2D0DAB64CBF010A004A00EA011C599883D98DF9C344005448F290107FEF9FD77ABF8A7485E48F6D3F10FBDCA5978CB261DE495D297A46CDB448CC76CA2EDD756D19C410C9DB620DDC156AFD2459A0D364155C232A7776D7ACE15761C34B099834347BFE1DFABBDD63F4AF71B596EFAE17E37102CED51F002E70E1FC966FB67B55106FB60BDE225C0B7B7DBC164FF00F22FADFC068C266C7CD2572
01642     1A6531DCA62B5BC840734457E64C931341C656D2DC6B381C1EFB2CD90A637F81719EEBB88E828ADF0A637FD77C3DC7425665DE5D5B93F97A5D9E65FB8D1302028D73F44D0A7699B1CB25FBB6CB65BC9D7D4D9FE6091C76C62B07EF417285A8D11F33699B05794B300E1BB946661A36E538F766B2557E56F10007AE73A6D64BD5F291A0B351AB39BF2A5E199D8FB2269CEFE27CC60B6FB17E3E7CAD421C61E3FCBD7F77F7A946A37648B1FE166E7D50431170F9127918871FFDBF5FC9F7C433A92A7929CF44747E86
01643     0C69CA2867689C6C6F1FB75073E9B99853FF603C89F01C369C4E834BB1266F2910E3FA218F778EDA695EC14972615B38157FFBDEEA63CB774AED7C326A9B06EE5065375C1BF84AD0490DE37599C6CE1A177BF46FD554F5A95DAF0F70222E08C97790945FC55F68F3BC097377E77B797B49166379F759G3BAE70F47E5D653259259934E4B7C9B57652D7C07F2F70262DBAC6B076A65058ABDE61EBDBED28145B2A506736125E55ED45B1518D7603D7601838490AE3E2528A9C930FF15E4C154E64C2200A15B8A68A
01644     78736C228D6AFD5843E1265CEBD909F6DF255CBBF6A5665ED12A3AC583BEF925B7B17F08AA77A602CCDA2EB7F2CF2B7ABF9BE40A3C128BD74DE7AAC046BC0C1CE8332A06C39E6246777CA75D75E5D90F776FF84AF95D60CBF0AE3633091E2919140B7DDB405F3B1F19877D8BD411077D3B72205C3F27FC48F98FD34E3364799A5B9FF01B52775AF9FEE6EDBCB68F7D8FE8C2AC1A30E3ED08252EC26C25D644CA893B388E3101D598E38F297AAE947008D55E7479452AB973C4100977CA6E86151C69CBE7F246173E
01645     5B4B8519922F649A9C2AF77F030C4DAB39F12A6FG8D000C3FD7F2EDAA39C010899BC6CE446B669A0C57C860B765E31F7D24866335B89F6375964E5B8D47FEC00179982F090764F84DAB73BEDEB31AB09F0DA79BF772EFD4CC01635455F00D379A63654696E57D0A812FDC6DCD3BDC29FAC73E85E45CDE494DD0FD9F5B8FE446F9A5F7D475CD30D0100998C6CE5ABF26F8A673065AC55AB6ACF3F45A3BFAE1FA153BBEBFFBC3E19E71A6547AFE8E5CFB0C769C2C76B5CF0C7FC676F382FF56CA60E30E4878BFEA97
01646     FB76FF5DBA2982223D8E578DF79ECDAFD0371F10338CAB375830FFAE9FD6CECB629D219B6BD9DC669748EB6952B7B9B8DE2C4045380A2C43F1D586E5418578FCE46FD1F60D143646191C8BD48AD48BB4G94308667CFDF15309B0ABB1A5D3BDC1D1D2EAEE9964537D06172EA0D2B3B12F5EC1515BD4C64F0C26F0A7ADD23BA1786034E70B5C3471F34E6324D735A6C32ED432F4D66EF934F1136595953E282DB3B0D6DF9F33536765AE98DF86336F4427676D6C91BA62467A28C3FC9BFFCAC3CB92C1CF1AC94340C
01647     AC967E4C57E42357E8E3A1066331EB3431505002319087E515051853DAED3E5A97F26E914A7D46E7B9D12FFDF666FFE821363E559C8FAF5456B7165626A321ACFFAD467E4335AC764740F188D0B4D09CD092D046BA0C7D3FECE7B70BBDDDBB9CF63978DDE07671C92B23CB3914AB4557FD251E637821526163786F254677989EAB555FE3F82A54789E4364D27DBD0697A53DAC8F33EDCA487BEAA9DBEB914F5ACACF39D2FF6D9F98D9BF9F9B215CA5BE4BC95F44BA497ABBF71DB6BE0AB9DE34CE9B9FFF20B571D2
01648     A88BDA0763E143C9257D54754E642C75C367AE71CC56597CB94C4275420E745D910ED5C818E86B95E51EE3E3F559703131314CB8B6CA4A743131234CB8B6761469E323320C1D0B5BFA9C36DA627B1A30E3049D61BA99F654E1634FA98B5C4C7DE2F8051D99C43C197B554F31DA89EBD3E047A44CD94672B4D4395D5503325F1631EB7AD60753A90E7BB80F238B52B63547A96E23235B2A707BFB420ED1DF4CB3681F052A7E9158EB4775FCEF9D5773C53769799EED5373FD5F2A679B5D2A67EBB36B791CE6BDDF3C
01649     D54F771AD549A76278AE55DC5C86E583DE45F1D0A76AE74FA48A6C46CE544F1EF394732B08432CAFF6C17432E4A14DBB4DA39B7376914ADD6D331C4889DB7975317FFAED2EA8637858755ADC71B02D0B87C1D9EA911ECB9671F7E5B861588FA884A882E8A25014A2FA37426E216E850A3BEC7289C4544BCF759D52148D225FB2255FFC78AD5DE0B48759267BFEE98D7035838D820D818A5248C95FC0EB524754EDCD7A58B39B70D98D789EEB5073BD55200F51E455BD1D7160DB5486EF2EEF3EEE98D93CB40DD0EE
01650     2C4FF2A21EB6703515C99B34F1360D63719B34F176G2D5BA4C219F9A31E13BAD4EBDA93G0F59684DD8CEB1682FD9867D75E5231E2F30D15FDFABD56B49F160C352B0FE08B130F8BF4B953D52FA2B14FB8DECE69A583CDF358E183E49191C33491B98F1D8C756577DA3148B75D9CE4442813EF723F813B6C60EF03CEC13B6C67EC5EB37D5D09636091E73D60D7D4CE2A9D7C83F2570DBD3EC14B392F4B9239D78860146G85810DAFB64A9917D9747DB74E220F2D678CE2705F86B118E810B35EEB50737D5D60BC
01651     B9512C0F1BFBC7B85623C6A8B73DF1E47DFF9D4F85D1455A7E3F0963930B357DDF54C877E8212CE2B3767F5FD4B9A28470891B3D99A7466D94A3494641EF52E62338395C705DBF69DB84EF8E7C96EFB112EBECB3122B14F8AD706BB6141B225AEF6027619987472106F23FB0DCEB0910F8A742EF7C962378FE5AA04E1EB7180F859B4C83FFE3B08F8CB7607B03811F377A5C8EBD5FC9071E6F36F6BD5F78F6BD5F99833E335B7563EAFB4D48464701914A7D4CE7B9B1FE16FD434609E92BF6DC65F3BCED2BF6DC5D
01652     CEEB5019D0B638954755272AB81F84F842D691AF29A5F0EDD8229FE3424EEA8B53D7D86254FC77F29347CB9538307F7BA65C43D785E5E1A578FE3A89AD7AFE393FC55FFF3F2D56735DD12D67DB542C67DB5A2C676B6A577375766B636160B155F967ABE7F27ED7C3671DC53C1E939632B587C7175341D6D2EC76BD76AE52D9425F05A46D25D07C7DC85DFF7B1DF87AF8FB61C735A166C303C7BD2F811C4D770CCAEBG2DAE12B917635D569E77AE27353717700B0E32FD3934EF345A6EF643ACCBAE3F0C5B6A6DEB
01653     6E16D7E9515655C759F5322B3F0B2F77C85F332173B05B4BAB303B69BC3C095A692FADF23FBC2E783B2565476F23417F819BD5F639CE4794FFBFE37B71ED3F7B235A90FD7F0FDA4FB178E46D706BD04F579A2FC345576A5721DE2BB5DE07FA3BD6398E056BEFF2DBEFD37C7D40400F5F6E13FED49BE2ACD51E5467552FCFAA732A5847E6DD414E87521EEF3E54A6702C0139B20ECBED121E3F9A1C437FE1F08E5F51A0376BBE455FFF57FDC3643F5F4671BF2A8DE90D35EE08B556BAAF56D86BBC2C3156992C3156
01654     F9D8E32DD34636680BEB78BE17D2B8BFDA3E42737BCB9CF34371E8422A78BC13FF330F30D62EEF929CA792768D171D78370E6434ED08DD4E31ECB8AEA46C9D0E1540F18DE13368FBC76D049D67B658F76A4793761941FA6397866B0DDB9B65B8AAD37C7D70FF65BBE4C3475473BF2A8DD167338C2EE34FB1380E5DE6302E312BD14F97EBF07D7C34C55F2E554DF2DB1A95FFBFE77D715B757D9F550674BDA5718DF70837F80A39880AE153F644165318C8A34C46794CF06CA6EC0E9947049FE1074C28EF9CE121E6
01655     9C9341043DC6E3A2FC3BFA0C31B111D60A5784410A783ED5717716469F3FCF2AFFD49B224EAF9A447AAB86317EA8EF2F54FBBB1233CB313DB652771A7289AB66FC03F09CC0D8E8934A869336003E2D95C6583D75A81B3283313EB6144DA46C9FEDA81BC358DB2DA86BA6ECA667E35F0D71A32C1AE44792A63E731E78770E64B842FED307F114C4580775A81B3A933154BA0C4B5A1D98B3F95F48F132CE71775DB5BFFE4C447C28B62475E25E1F23213D1C548E7E9C9B0463B1044D3162388BA32C26995BB0125AEB
01656     BDFF97D266AEBC7E0A9F1750717DCDBF34CECC77506D76548F3611BCEC3B590F69475A71E34A31A66E377D2E1EDD67599C3D5DCE6BC93B6D0074918693BE439BCD5FC8326C4267E12719555FE1B8412F2545733CED745D1AEE03F6C8B6495FFDE0942D79AE5F68DD5A67F9CF73B9D32B2B472EFEA77C25FCAC0C817EF1C082BB43FDFD90A81CFC0D2853FCB3023F2FD8FA4E5CEA7C3E79E5BC07C7010E093B70B965ECFA67DACA19F13D145F310950FC3FAA33CC7B2D041F53B33EB9E5686BC54374450D549745E5
01657     38BFF1C5035C76A55476959EFC1C6941C7F6ECAE53367D979E5A7E826EC7BB703B4B306D0B4C587681645BEAFE8E93650F09E741D9D99936E9AAFD97B456033FF3BD784B5AF40A2ECD4F50B70E12480769CDF27B9CA0FB6965466F76D1FEEB02FDE7A2275CC9760A4B356DF3284138FD4477424A003F2A9C7DF8D261C7AE3DFF2D5B400F1986FE0CD678B136DCDB6F976A51DE90591BE0116D3DCC5FBE0A70D06FD98A1B934B555F580857597B228D6DA51663F37D057CFBCB193B31EF0F134D4A5D1E7B965F67EE
01658     592D36695E2D3579DB7AFE50285DD84731D6390EF975E8AF40401E325F0CE2BFD8E7EFD39D46F858EE2CE3A3FF06BCE6B70E576B1B745F92382B895F37D134C73CEB2492FEADC06CDBBEC27796FE2E9AGEC749EEC2F0EE67ABE6D9E4F7EE3FBC5G4F44BD72FB906277E8E3F371FCD626F8D70872751B523BC13AAC4AF703E4DDA93EB714883A52AA300EAF50FB36447E5A3174FE221C8A6C07EE45BB4B5DFC4DCE483EE6E64F172B77CA97B4BBA15F0A72CB05EE9B3E6F2253A64B3EEF76FE2F7557748E82B379
01659     D42EF847792FD56F04117677EA6A55A93FF709F4ACEA156B75F11B2C6FF775C357EB3FD9DD2F796D326C73BE3C27EDB3BD7B94C5BE3D2050F52941BB1E4E10CC4A5E215E4374FB077C77F8453B27F7B5F92A1B74DC84BDE3D4B2247EB10AF7AD27FB0C8321F3B1BD976BB654C94FF3A95E0DDC51B6F49F6C9E41FB242E2477C8058C69C7F9176C4703F6FD9F5455231E49FBA916946FD6AE99E6DC381B2ABD786E7BB3BC0A8CC04F71BC530477243276B913EB7661F3912B685D1B7E7B701905DAFEDFA9820EE301
01660     9276E1FDBED63C0FF9EF3377B1BD0E5E0B13365F577D792FF01BC24FAFA98E4B76232F67F2DF8761B8GA8E4BF4E692FD26D670AGFC62FEEF6EE19FD1BFB78BB226CAEF64FAD476B2C0A657AB39ED2AFB7DA5A0D365155C59AAB99B488CF8A557285A83638FB201DE49ADD36D818C8319C82F6482D57768E3C1E60AD7F2CD6AFDEB871C4919873C110B7379BBC2C26E2D914A2D717939C9F16FB60A47ED7E816DBD65C7B9DE2C404578ED34507397D096FCG637CDA553382E987E14EF1501BF63AC965F711C626
01661     42C007706FBD6E07792076DE74CC3E17482940055F97D970DE74A014CDBA085769E186FBA26EB4589351E930172747E0AF4F39867AAEB450770D411AEA1D411A6A9586FC57987075992C3D1EB2583B344560FE4AF6033D93F7986C5988B75833F122DE4F77DD3DFE4D77EF96937D7D0462EF1B6547DFABBA7D235A10761F986CC13847E08F429FAD3826D4F688E3F01E95570AEA8E61F8CA363279FE909D4F654791F4FCA92F93AB7F715A6DE6EEE328751E9FC2623A66A53E86B67990DE0BAC276FC2E6D68DFFAD
01662     158FBC25D57235C8CD1576DA645CB4F6BED74CC46865E9621D285BD45FCBC83F30A3192D47D92A709AE42A5577395C917A06103B4A57F946B5EC5B02B44F6863FA58F5D7C89576FB3DEACF66E440938D5AC95F1727BC6E65CC7B9AF2B5D091D0455732AEA947995CAB6B376A637AE2DA83B5FF0DF17DC48B46F5B7E1B36CF86FA10030C334AE9D7CB52E695C45750533632F713B0B2F3760B5E382E02907E1EE83D48154FE18560238AE56F7FE041D266B773107697ADD713D0668E15FB3A93FF3AE53C673744378
01663     4E39AA5B506F08BF4BB674BB6742EC5AF74E295F917F3CED68F74E6D372B5F439F203AAE907D3FC8750C5AE470BD7130B77B2D0BEC587F4CA701ED36E17F33FAFE42ED5AFBBE1E8DED7232E93A5B1421F8EDF3152B3B2F7B003D2B4FEDCA47B77AE4CB8FE439CD538EF538CD29BBEC36EC76F4235BB4077DA9FD7A4EED1A4B0F70A3F6EE538255F1B65B97A4F868A5A9928F9D8B1E99627572EED3B294AA8EBF42D748E72F49AE33DB25839D1B17D2B3440B2701013DC1BA1B3FDEBA7B003D37976A125B1B67B625
01664     F1DCFA35B428BDE86FF71BD258ABDB5D26196C0D2B5956DEG58DFEE53FCD68FEBF6B756363747B4CF9D1DD3EF78646C740B5677CDB34D58ED1A813D5D5DEE5DEB1AFE023DE52F52B42D85F4FDDE49C45600481A96A632068BD6F7DBDB6CDB6BCD33DAFB5A1AB9BBF4C47D6EFAD0420F3EB51DB1E5D51AE63B5B79730010AF5D26CFE4CDD56C218E29E06BG3FAC7AA0AA6A03EE78574BC4BFD3A1BD26796476DE7E145324936B37A4BFFBFD72B4D34ADE538C31A3E12FA905EDABG77792E033D26E4372BDB6806
01665     FF33118C74B3A47B7F893EA84667B64D22607E5F63557F1085AD5FF4237619D7E3E72F8A34BA33ABDDED0E167F2B0DE46C3092B59922A3639D5AAB76EF7E90FC3395648D9F5787499B133A37A27F9778062A12B7F16C39E15939BA1534EBFD73A6D806631BADD919B90C95EFF5FAEBC51B45BF543FF2E247050F7DB32429ACE31AE99AA472F63B485C537B5946BE1E3B592B511307989E8E0967E337E9BAFBF6FB8BCCG94B3F5CF68DC694B8E59D269BCBC661F21GA0CDB17F0043F4755B13FB3768DCCA55D49B
01666     480734E6B2C47F1B7ACCC368B336EBAC6D9D6FF0E10BC1BFDB970E9E12B7FE23B73CDC79AD2B2C0C33E760DCD6BB770CED103E515BA03F8FD1BC1F3A0C6F574FEF04F9FFA3BE0F5AFB02FD98415377502BBB2DCE275B6A6C5851E5E35FC65FF952ED1777126776B37D3D48A3950A32B57D4C6F638A197F83D0CB878837A02E2A86D7GGGC081GD0CB818294G94G88G88G511DB6AC37A02E2A86D7GGGC081G8CGGGGGGGGGGGGGGGGGE2F5E9ECE4E5F2A0E4E1F4E1D0CB8586GG
01667     GG81G81GBAGGGC0D7GGGG
01668 **end of data**/
01669 }
01670 /**
01671  * Return the DescriptionPanel property value.
01672  * @return javax.swing.JPanel
01673  */
01674 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01675 private javax.swing.JPanel getDescriptionPanel() {
01676     if (ivjDescriptionPanel == null) {
01677         try {
01678             ivjDescriptionPanel = new javax.swing.JPanel();
01679             ivjDescriptionPanel.setName("DescriptionPanel");
01680             ivjDescriptionPanel.setBorder(BorderFactory.createTitledBorder(BorderFactory.createEtchedBorder(), "Description"));
01681             ivjDescriptionPanel.setLayout(new java.awt.GridBagLayout());
01682             ivjDescriptionPanel.setBackground(new java.awt.Color(204,204,255));
01683 
01684             java.awt.GridBagConstraints constraintsDescriptionScrollPane = new java.awt.GridBagConstraints();
01685             constraintsDescriptionScrollPane.gridx = 0; constraintsDescriptionScrollPane.gridy = 0;
01686             constraintsDescriptionScrollPane.fill = java.awt.GridBagConstraints.BOTH;
01687             constraintsDescriptionScrollPane.weightx = 1.0;
01688             constraintsDescriptionScrollPane.weighty = 1.0;
01689             constraintsDescriptionScrollPane.insets = new java.awt.Insets(10, 10, 10, 10);
01690             getDescriptionPanel().add(getDescriptionScrollPane(), constraintsDescriptionScrollPane);
01691             // user code begin {1}
01692             ((javax.swing.border.TitledBorder) ivjDescriptionPanel.getBorder()).setTitleColor(Color.black);
01693             // user code end
01694         } catch (java.lang.Throwable ivjExc) {
01695             // user code begin {2}
01696             // user code end
01697             handleException(ivjExc);
01698         }
01699     }
01700     return ivjDescriptionPanel;
01701 }
01702 /**
01703  * Return the DescriptionScrollPane property value.
01704  * @return javax.swing.JScrollPane
01705  */
01706 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01707 private javax.swing.JScrollPane getDescriptionScrollPane() {
01708     if (ivjDescriptionScrollPane == null) {
01709         try {
01710             ivjDescriptionScrollPane = new javax.swing.JScrollPane();
01711             ivjDescriptionScrollPane.setName("DescriptionScrollPane");
01712             ivjDescriptionScrollPane.setBorder(BorderFactory.createLoweredBevelBorder());
01713             getDescriptionScrollPane().setViewportView(getDescriptionTextArea());
01714             // user code begin {1}
01715             // user code end
01716         } catch (java.lang.Throwable ivjExc) {
01717             // user code begin {2}
01718             // user code end
01719             handleException(ivjExc);
01720         }
01721     }
01722     return ivjDescriptionScrollPane;
01723 }
01724 /**
01725  * Return the DescriptionTextArea property value.
01726  * @return javax.swing.JTextArea
01727  */
01728 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01729 private javax.swing.JTextArea getDescriptionTextArea() {
01730     if (ivjDescriptionTextArea == null) {
01731         try {
01732             ivjDescriptionTextArea = new javax.swing.JTextArea();
01733             ivjDescriptionTextArea.setName("DescriptionTextArea");
01734             ivjDescriptionTextArea.setBackground(new java.awt.Color(204,204,204));
01735             ivjDescriptionTextArea.setBounds(0, 0, 160, 120);
01736             ivjDescriptionTextArea.setEnabled(true);
01737             ivjDescriptionTextArea.setEditable(false);
01738             // user code begin {1}
01739             // user code end
01740         } catch (java.lang.Throwable ivjExc) {
01741             // user code begin {2}
01742             // user code end
01743             handleException(ivjExc);
01744         }
01745     }
01746     return ivjDescriptionTextArea;
01747 }
01748 /**
01749  * Return the EnabledAssertionList property value.
01750  * @return javax.swing.JList
01751  */
01752 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01753 public javax.swing.JList getEnabledAssertionList() {
01754     if (ivjEnabledAssertionList == null) {
01755         try {
01756             ivjEnabledAssertionList = new javax.swing.JList();
01757             ivjEnabledAssertionList.setName("EnabledAssertionList");
01758             ivjEnabledAssertionList.setBackground(new java.awt.Color(204,204,204));
01759             ivjEnabledAssertionList.setBounds(0, 0, 160, 120);
01760             // user code begin {1}
01761             // user code end
01762         } catch (java.lang.Throwable ivjExc) {
01763             // user code begin {2}
01764             // user code end
01765             handleException(ivjExc);
01766         }
01767     }
01768     return ivjEnabledAssertionList;
01769 }
01770 /**
01771  * Return the EnabledAssertionPanel property value.
01772  * @return javax.swing.JPanel
01773  */
01774 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01775 private javax.swing.JPanel getEnabledAssertionPanel() {
01776     if (ivjEnabledAssertionPanel == null) {
01777         try {
01778             ivjEnabledAssertionPanel = new javax.swing.JPanel();
01779             ivjEnabledAssertionPanel.setName("EnabledAssertionPanel");
01780             ivjEnabledAssertionPanel.setBorder(BorderFactory.createTitledBorder(BorderFactory.createEtchedBorder(), "Enabled Assertion"));
01781             ivjEnabledAssertionPanel.setLayout(new java.awt.GridBagLayout());
01782             ivjEnabledAssertionPanel.setBackground(new java.awt.Color(204,204,255));
01783 
01784             java.awt.GridBagConstraints constraintsEnabledAssertionScrollPane = new java.awt.GridBagConstraints();
01785             constraintsEnabledAssertionScrollPane.gridx = 0; constraintsEnabledAssertionScrollPane.gridy = 0;
01786             constraintsEnabledAssertionScrollPane.gridwidth = 2;
01787 constraintsEnabledAssertionScrollPane.gridheight = 4;
01788             constraintsEnabledAssertionScrollPane.fill = java.awt.GridBagConstraints.BOTH;
01789             constraintsEnabledAssertionScrollPane.weightx = 1.0;
01790             constraintsEnabledAssertionScrollPane.weighty = 1.0;
01791             constraintsEnabledAssertionScrollPane.insets = new java.awt.Insets(10, 10, 10, 0);
01792             getEnabledAssertionPanel().add(getEnabledAssertionScrollPane(), constraintsEnabledAssertionScrollPane);
01793 
01794             java.awt.GridBagConstraints constraintsAddEnabledAssertionButton = new java.awt.GridBagConstraints();
01795             constraintsAddEnabledAssertionButton.gridx = 2; constraintsAddEnabledAssertionButton.gridy = 0;
01796             constraintsAddEnabledAssertionButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
01797             constraintsAddEnabledAssertionButton.insets = new java.awt.Insets(10, 10, 0, 10);
01798             getEnabledAssertionPanel().add(getAddEnabledAssertionButton(), constraintsAddEnabledAssertionButton);
01799 
01800             java.awt.GridBagConstraints constraintsRemoveEnabledAssertionButton = new java.awt.GridBagConstraints();
01801             constraintsRemoveEnabledAssertionButton.gridx = 2; constraintsRemoveEnabledAssertionButton.gridy = 1;
01802             constraintsRemoveEnabledAssertionButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
01803             constraintsRemoveEnabledAssertionButton.insets = new java.awt.Insets(10, 10, 0, 10);
01804             getEnabledAssertionPanel().add(getRemoveEnabledAssertionButton(), constraintsRemoveEnabledAssertionButton);
01805             // user code begin {1}
01806             ((javax.swing.border.TitledBorder) ivjEnabledAssertionPanel.getBorder()).setTitleColor(Color.black);
01807             // user code end
01808         } catch (java.lang.Throwable ivjExc) {
01809             // user code begin {2}
01810             // user code end
01811             handleException(ivjExc);
01812         }
01813     }
01814     return ivjEnabledAssertionPanel;
01815 }
01816 /**
01817  * Return the EnabledAssertionScrollPane property value.
01818  * @return javax.swing.JScrollPane
01819  */
01820 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01821 private javax.swing.JScrollPane getEnabledAssertionScrollPane() {
01822     if (ivjEnabledAssertionScrollPane == null) {
01823         try {
01824             ivjEnabledAssertionScrollPane = new javax.swing.JScrollPane();
01825             ivjEnabledAssertionScrollPane.setName("EnabledAssertionScrollPane");
01826             ivjEnabledAssertionScrollPane.setBorder(BorderFactory.createLoweredBevelBorder());
01827             getEnabledAssertionScrollPane().setViewportView(getEnabledAssertionList());
01828             // user code begin {1}
01829             // user code end
01830         } catch (java.lang.Throwable ivjExc) {
01831             // user code begin {2}
01832             // user code end
01833             handleException(ivjExc);
01834         }
01835     }
01836     return ivjEnabledAssertionScrollPane;
01837 }
01838 /**
01839  * Return the ExpandButton property value.
01840  * @return javax.swing.JButton
01841  */
01842 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01843 private javax.swing.JButton getExpandButton() {
01844     if (ivjExpandButton == null) {
01845         try {
01846             ivjExpandButton = new javax.swing.JButton();
01847             ivjExpandButton.setName("ExpandButton");
01848             ivjExpandButton.setMnemonic('x');
01849             ivjExpandButton.setText("Expand");
01850             ivjExpandButton.setBackground(new java.awt.Color(204,204,255));
01851             ivjExpandButton.setEnabled(false);
01852             // user code begin {1}
01853             // user code end
01854         } catch (java.lang.Throwable ivjExc) {
01855             // user code begin {2}
01856             // user code end
01857             handleException(ivjExc);
01858         }
01859     }
01860     return ivjExpandButton;
01861 }
01862 /**
01863  * Return the ExpandedPatternTextField1 property value.
01864  * @return javax.swing.JTextField
01865  */
01866 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01867 private javax.swing.JTextField getExpandedPatternTextField() {
01868     if (ivjExpandedPatternTextField == null) {
01869         try {
01870             ivjExpandedPatternTextField = new javax.swing.JTextField();
01871             ivjExpandedPatternTextField.setName("ExpandedPatternTextField");
01872             ivjExpandedPatternTextField.setBorder(BorderFactory.createLoweredBevelBorder());
01873             ivjExpandedPatternTextField.setEditable(false);
01874             // user code begin {1}
01875             // user code end
01876         } catch (java.lang.Throwable ivjExc) {
01877             // user code begin {2}
01878             // user code end
01879             handleException(ivjExc);
01880         }
01881     }
01882     return ivjExpandedPatternTextField;
01883 }
01884 /**
01885  * Return the JPanel1 property value.
01886  * @return javax.swing.JPanel
01887  */
01888 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01889 private javax.swing.JPanel getFormulaPanel() {
01890     if (ivjFormulaPanel == null) {
01891         try {
01892             ivjFormulaPanel = new javax.swing.JPanel();
01893             ivjFormulaPanel.setName("FormulaPanel");
01894             ivjFormulaPanel.setBorder(BorderFactory.createTitledBorder(BorderFactory.createEtchedBorder(), "Formula"));
01895             ivjFormulaPanel.setLayout(new java.awt.GridBagLayout());
01896             ivjFormulaPanel.setBackground(new java.awt.Color(204,204,255));
01897 
01898             java.awt.GridBagConstraints constraintsPatternNameLabel = new java.awt.GridBagConstraints();
01899             constraintsPatternNameLabel.gridx = 0; constraintsPatternNameLabel.gridy = 2;
01900             constraintsPatternNameLabel.fill = java.awt.GridBagConstraints.HORIZONTAL;
01901             constraintsPatternNameLabel.insets = new java.awt.Insets(15, 10, 0, 0);
01902             getFormulaPanel().add(getPatternNameLabel(), constraintsPatternNameLabel);
01903 
01904             java.awt.GridBagConstraints constraintsPatternScopeLabel = new java.awt.GridBagConstraints();
01905             constraintsPatternScopeLabel.gridx = 3; constraintsPatternScopeLabel.gridy = 2;
01906             constraintsPatternScopeLabel.fill = java.awt.GridBagConstraints.HORIZONTAL;
01907             constraintsPatternScopeLabel.insets = new java.awt.Insets(15, 10, 0, 10);
01908             getFormulaPanel().add(getPatternScopeLabel(), constraintsPatternScopeLabel);
01909 
01910             java.awt.GridBagConstraints constraintsPatternNameComboBox = new java.awt.GridBagConstraints();
01911             constraintsPatternNameComboBox.gridx = 0; constraintsPatternNameComboBox.gridy = 3;
01912             constraintsPatternNameComboBox.gridwidth = 2;
01913             constraintsPatternNameComboBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
01914             constraintsPatternNameComboBox.insets = new java.awt.Insets(5, 10, 0, 0);
01915             getFormulaPanel().add(getPatternNameComboBox(), constraintsPatternNameComboBox);
01916 
01917             java.awt.GridBagConstraints constraintsPatternScopeComboBox = new java.awt.GridBagConstraints();
01918             constraintsPatternScopeComboBox.gridx = 3; constraintsPatternScopeComboBox.gridy = 3;
01919             constraintsPatternScopeComboBox.gridwidth = 2;
01920             constraintsPatternScopeComboBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
01921             constraintsPatternScopeComboBox.insets = new java.awt.Insets(5, 10, 0, 10);
01922             getFormulaPanel().add(getPatternScopeComboBox(), constraintsPatternScopeComboBox);
01923 
01924             java.awt.GridBagConstraints constraintsPropositionTextField = new java.awt.GridBagConstraints();
01925             constraintsPropositionTextField.gridx = 1; constraintsPropositionTextField.gridy = 5;
01926             constraintsPropositionTextField.gridwidth = 4;
01927             constraintsPropositionTextField.fill = java.awt.GridBagConstraints.HORIZONTAL;
01928             constraintsPropositionTextField.weightx = 1.0;
01929             constraintsPropositionTextField.insets = new java.awt.Insets(5, 10, 0, 10);
01930             getFormulaPanel().add(getPropositionTextField(), constraintsPropositionTextField);
01931 
01932             java.awt.GridBagConstraints constraintsPropositionComboBox = new java.awt.GridBagConstraints();
01933             constraintsPropositionComboBox.gridx = 0; constraintsPropositionComboBox.gridy = 5;
01934             constraintsPropositionComboBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
01935             constraintsPropositionComboBox.insets = new java.awt.Insets(5, 10, 0, 0);
01936             getFormulaPanel().add(getPropositionComboBox(), constraintsPropositionComboBox);
01937 
01938             java.awt.GridBagConstraints constraintsPropositionLabel = new java.awt.GridBagConstraints();
01939             constraintsPropositionLabel.gridx = 0; constraintsPropositionLabel.gridy = 4;
01940             constraintsPropositionLabel.gridwidth = 2;
01941             constraintsPropositionLabel.fill = java.awt.GridBagConstraints.HORIZONTAL;
01942             constraintsPropositionLabel.weightx = 1.0;
01943             constraintsPropositionLabel.insets = new java.awt.Insets(15, 10, 0, 0);
01944             getFormulaPanel().add(getPropositionLabel(), constraintsPropositionLabel);
01945 
01946             java.awt.GridBagConstraints constraintsExpandButton = new java.awt.GridBagConstraints();
01947             constraintsExpandButton.gridx = 0; constraintsExpandButton.gridy = 6;
01948             constraintsExpandButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
01949             constraintsExpandButton.insets = new java.awt.Insets(15, 10, 0, 0);
01950             getFormulaPanel().add(getExpandButton(), constraintsExpandButton);
01951 
01952             java.awt.GridBagConstraints constraintsExpandedPatternTextField = new java.awt.GridBagConstraints();
01953             constraintsExpandedPatternTextField.gridx = 1; constraintsExpandedPatternTextField.gridy = 6;
01954             constraintsExpandedPatternTextField.gridwidth = 4;
01955             constraintsExpandedPatternTextField.fill = java.awt.GridBagConstraints.HORIZONTAL;
01956             constraintsExpandedPatternTextField.weightx = 1.0;
01957             constraintsExpandedPatternTextField.insets = new java.awt.Insets(15, 10, 0, 10);
01958             getFormulaPanel().add(getExpandedPatternTextField(), constraintsExpandedPatternTextField);
01959 
01960             java.awt.GridBagConstraints constraintsShowErrorButton = new java.awt.GridBagConstraints();
01961             constraintsShowErrorButton.gridx = 3; constraintsShowErrorButton.gridy = 7;
01962             constraintsShowErrorButton.gridwidth = 2;
01963             constraintsShowErrorButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
01964             constraintsShowErrorButton.weightx = 1.0;
01965             constraintsShowErrorButton.weighty = 1.0;
01966             constraintsShowErrorButton.insets = new java.awt.Insets(15, 10, 10, 10);
01967             getFormulaPanel().add(getShowErrorButton(), constraintsShowErrorButton);
01968 
01969             java.awt.GridBagConstraints constraintsShowMappingButton = new java.awt.GridBagConstraints();
01970             constraintsShowMappingButton.gridx = 0; constraintsShowMappingButton.gridy = 7;
01971             constraintsShowMappingButton.gridwidth = 2;
01972             constraintsShowMappingButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
01973             constraintsShowMappingButton.weightx = 1.0;
01974             constraintsShowMappingButton.weighty = 1.0;
01975             constraintsShowMappingButton.insets = new java.awt.Insets(15, 10, 10, 0);
01976             getFormulaPanel().add(getShowMappingButton(), constraintsShowMappingButton);
01977 
01978             java.awt.GridBagConstraints constraintsQuantifierLabel = new java.awt.GridBagConstraints();
01979             constraintsQuantifierLabel.gridx = 0; constraintsQuantifierLabel.gridy = 0;
01980             constraintsQuantifierLabel.fill = java.awt.GridBagConstraints.BOTH;
01981             constraintsQuantifierLabel.insets = new java.awt.Insets(10, 10, 0, 0);
01982             getFormulaPanel().add(getQuantifierLabel(), constraintsQuantifierLabel);
01983 
01984             java.awt.GridBagConstraints constraintsQuantificationScrollPane = new java.awt.GridBagConstraints();
01985             constraintsQuantificationScrollPane.gridx = 1; constraintsQuantificationScrollPane.gridy = 0;
01986             constraintsQuantificationScrollPane.gridwidth = 4;
01987 constraintsQuantificationScrollPane.gridheight = 2;
01988             constraintsQuantificationScrollPane.fill = java.awt.GridBagConstraints.BOTH;
01989             constraintsQuantificationScrollPane.weightx = 1.0;
01990             constraintsQuantificationScrollPane.weighty = 1.0;
01991             constraintsQuantificationScrollPane.insets = new java.awt.Insets(10, 10, 0, 10);
01992             getFormulaPanel().add(getQuantificationScrollPane(), constraintsQuantificationScrollPane);
01993             // user code begin {1}
01994             ((javax.swing.border.TitledBorder) ivjFormulaPanel.getBorder()).setTitleColor(Color.black);
01995             // user code end
01996         } catch (java.lang.Throwable ivjExc) {
01997             // user code begin {2}
01998             // user code end
01999             handleException(ivjExc);
02000         }
02001     }
02002     return ivjFormulaPanel;
02003 }
02004 /**
02005  * Return the ImportAssertionButton property value.
02006  * @return javax.swing.JButton
02007  */
02008 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02009 private javax.swing.JButton getImportAssertionButton() {
02010     if (ivjImportAssertionButton == null) {
02011         try {
02012             ivjImportAssertionButton = new javax.swing.JButton();
02013             ivjImportAssertionButton.setName("ImportAssertionButton");
02014             ivjImportAssertionButton.setText("Add Assertion");
02015             ivjImportAssertionButton.setBackground(new java.awt.Color(204,204,255));
02016             // user code begin {1}
02017             // user code end
02018         } catch (java.lang.Throwable ivjExc) {
02019             // user code begin {2}
02020             // user code end
02021             handleException(ivjExc);
02022         }
02023     }
02024     return ivjImportAssertionButton;
02025 }
02026 /**
02027  * Return the ImportAssertionSetButton property value.
02028  * @return javax.swing.JButton
02029  */
02030 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02031 private javax.swing.JButton getImportAssertionSetButton() {
02032     if (ivjImportAssertionSetButton == null) {
02033         try {
02034             ivjImportAssertionSetButton = new javax.swing.JButton();
02035             ivjImportAssertionSetButton.setName("ImportAssertionSetButton");
02036             ivjImportAssertionSetButton.setText("Add Assertion Set");
02037             ivjImportAssertionSetButton.setBackground(new java.awt.Color(204,204,255));
02038             // user code begin {1}
02039             // user code end
02040         } catch (java.lang.Throwable ivjExc) {
02041             // user code begin {2}
02042             // user code end
02043             handleException(ivjExc);
02044         }
02045     }
02046     return ivjImportAssertionSetButton;
02047 }
02048 /**
02049  * Return the ImportList property value.
02050  * @return javax.swing.JList
02051  */
02052 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02053 private javax.swing.JList getImportList() {
02054     if (ivjImportList == null) {
02055         try {
02056             ivjImportList = new javax.swing.JList();
02057             ivjImportList.setName("ImportList");
02058             ivjImportList.setBackground(new java.awt.Color(204,204,204));
02059             ivjImportList.setBounds(0, 0, 157, 117);
02060             // user code begin {1}
02061             // user code end
02062         } catch (java.lang.Throwable ivjExc) {
02063             // user code begin {2}
02064             // user code end
02065             handleException(ivjExc);
02066         }
02067     }
02068     return ivjImportList;
02069 }
02070 /**
02071  * Return the ImportPackageButton property value.
02072  * @return javax.swing.JButton
02073  */
02074 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02075 private javax.swing.JButton getImportPackageButton() {
02076     if (ivjImportPackageButton == null) {
02077         try {
02078             ivjImportPackageButton = new javax.swing.JButton();
02079             ivjImportPackageButton.setName("ImportPackageButton");
02080             ivjImportPackageButton.setText("Add Package");
02081             ivjImportPackageButton.setBackground(new java.awt.Color(204,204,255));
02082             // user code begin {1}
02083             // user code end
02084         } catch (java.lang.Throwable ivjExc) {
02085             // user code begin {2}
02086             // user code end
02087             handleException(ivjExc);
02088         }
02089     }
02090     return ivjImportPackageButton;
02091 }
02092 /**
02093  * Return the ImportPanel property value.
02094  * @return javax.swing.JPanel
02095  */
02096 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02097 private javax.swing.JPanel getImportPanel() {
02098     if (ivjImportPanel == null) {
02099         try {
02100             ivjImportPanel = new javax.swing.JPanel();
02101             ivjImportPanel.setName("ImportPanel");
02102             ivjImportPanel.setBorder(BorderFactory.createTitledBorder(BorderFactory.createEtchedBorder(), "Import"));
02103             ivjImportPanel.setLayout(new java.awt.GridBagLayout());
02104             ivjImportPanel.setBackground(new java.awt.Color(204,204,255));
02105 
02106             java.awt.GridBagConstraints constraintsImportScrollPane = new java.awt.GridBagConstraints();
02107             constraintsImportScrollPane.gridx = 0; constraintsImportScrollPane.gridy = 0;
02108 constraintsImportScrollPane.gridheight = 8;
02109             constraintsImportScrollPane.fill = java.awt.GridBagConstraints.BOTH;
02110             constraintsImportScrollPane.weightx = 1.0;
02111             constraintsImportScrollPane.weighty = 1.0;
02112             constraintsImportScrollPane.insets = new java.awt.Insets(10, 10, 10, 0);
02113             getImportPanel().add(getImportScrollPane(), constraintsImportScrollPane);
02114 
02115             java.awt.GridBagConstraints constraintsImportTypeButton = new java.awt.GridBagConstraints();
02116             constraintsImportTypeButton.gridx = 1; constraintsImportTypeButton.gridy = 0;
02117             constraintsImportTypeButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
02118             constraintsImportTypeButton.insets = new java.awt.Insets(10, 10, 0, 10);
02119             getImportPanel().add(getImportTypeButton(), constraintsImportTypeButton);
02120 
02121             java.awt.GridBagConstraints constraintsImportPackageButton = new java.awt.GridBagConstraints();
02122             constraintsImportPackageButton.gridx = 1; constraintsImportPackageButton.gridy = 1;
02123             constraintsImportPackageButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
02124             constraintsImportPackageButton.insets = new java.awt.Insets(10, 10, 0, 10);
02125             getImportPanel().add(getImportPackageButton(), constraintsImportPackageButton);
02126 
02127             java.awt.GridBagConstraints constraintsImportPredicateButton = new java.awt.GridBagConstraints();
02128             constraintsImportPredicateButton.gridx = 1; constraintsImportPredicateButton.gridy = 2;
02129             constraintsImportPredicateButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
02130             constraintsImportPredicateButton.insets = new java.awt.Insets(10, 10, 0, 10);
02131             getImportPanel().add(getImportPredicateButton(), constraintsImportPredicateButton);
02132 
02133             java.awt.GridBagConstraints constraintsImportPredicateSetButton = new java.awt.GridBagConstraints();
02134             constraintsImportPredicateSetButton.gridx = 1; constraintsImportPredicateSetButton.gridy = 3;
02135             constraintsImportPredicateSetButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
02136             constraintsImportPredicateSetButton.insets = new java.awt.Insets(10, 10, 0, 10);
02137             getImportPanel().add(getImportPredicateSetButton(), constraintsImportPredicateSetButton);
02138 
02139             java.awt.GridBagConstraints constraintsImportAssertionButton = new java.awt.GridBagConstraints();
02140             constraintsImportAssertionButton.gridx = 1; constraintsImportAssertionButton.gridy = 4;
02141             constraintsImportAssertionButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
02142             constraintsImportAssertionButton.insets = new java.awt.Insets(10, 10, 0, 10);
02143             getImportPanel().add(getImportAssertionButton(), constraintsImportAssertionButton);
02144 
02145             java.awt.GridBagConstraints constraintsImportAssertionSetButton = new java.awt.GridBagConstraints();
02146             constraintsImportAssertionSetButton.gridx = 1; constraintsImportAssertionSetButton.gridy = 5;
02147             constraintsImportAssertionSetButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
02148             constraintsImportAssertionSetButton.insets = new java.awt.Insets(10, 10, 0, 10);
02149             getImportPanel().add(getImportAssertionSetButton(), constraintsImportAssertionSetButton);
02150 
02151             java.awt.GridBagConstraints constraintsRemoveImportButton = new java.awt.GridBagConstraints();
02152             constraintsRemoveImportButton.gridx = 1; constraintsRemoveImportButton.gridy = 6;
02153             constraintsRemoveImportButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
02154             constraintsRemoveImportButton.insets = new java.awt.Insets(10, 10, 0, 10);
02155             getImportPanel().add(getRemoveImportButton(), constraintsRemoveImportButton);
02156             // user code begin {1}
02157             ((javax.swing.border.TitledBorder) ivjImportPanel.getBorder()).setTitleColor(Color.black);
02158             // user code end
02159         } catch (java.lang.Throwable ivjExc) {
02160             // user code begin {2}
02161             // user code end
02162             handleException(ivjExc);
02163         }
02164     }
02165     return ivjImportPanel;
02166 }
02167 /**
02168  * Return the ImportPredicateButton property value.
02169  * @return javax.swing.JButton
02170  */
02171 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02172 private javax.swing.JButton getImportPredicateButton() {
02173     if (ivjImportPredicateButton == null) {
02174         try {
02175             ivjImportPredicateButton = new javax.swing.JButton();
02176             ivjImportPredicateButton.setName("ImportPredicateButton");
02177             ivjImportPredicateButton.setText("Add Predicate");
02178             ivjImportPredicateButton.setBackground(new java.awt.Color(204,204,255));
02179             // user code begin {1}
02180             // user code end
02181         } catch (java.lang.Throwable ivjExc) {
02182             // user code begin {2}
02183             // user code end
02184             handleException(ivjExc);
02185         }
02186     }
02187     return ivjImportPredicateButton;
02188 }
02189 /**
02190  * Return the ImportPredicateSetButton property value.
02191  * @return javax.swing.JButton
02192  */
02193 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02194 private javax.swing.JButton getImportPredicateSetButton() {
02195     if (ivjImportPredicateSetButton == null) {
02196         try {
02197             ivjImportPredicateSetButton = new javax.swing.JButton();
02198             ivjImportPredicateSetButton.setName("ImportPredicateSetButton");
02199             ivjImportPredicateSetButton.setText("Add Predicate Set");
02200             ivjImportPredicateSetButton.setBackground(new java.awt.Color(204,204,255));
02201             // user code begin {1}
02202             // user code end
02203         } catch (java.lang.Throwable ivjExc) {
02204             // user code begin {2}
02205             // user code end
02206             handleException(ivjExc);
02207         }
02208     }
02209     return ivjImportPredicateSetButton;
02210 }
02211 /**
02212  * Return the ImportScrollPane property value.
02213  * @return javax.swing.JScrollPane
02214  */
02215 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02216 private javax.swing.JScrollPane getImportScrollPane() {
02217     if (ivjImportScrollPane == null) {
02218         try {
02219             ivjImportScrollPane = new javax.swing.JScrollPane();
02220             ivjImportScrollPane.setName("ImportScrollPane");
02221             ivjImportScrollPane.setBorder(BorderFactory.createLoweredBevelBorder());
02222             getImportScrollPane().setViewportView(getImportList());
02223             // user code begin {1}
02224             // user code end
02225         } catch (java.lang.Throwable ivjExc) {
02226             // user code begin {2}
02227             // user code end
02228             handleException(ivjExc);
02229         }
02230     }
02231     return ivjImportScrollPane;
02232 }
02233 /**
02234  * Return the ImportTypeButton property value.
02235  * @return javax.swing.JButton
02236  */
02237 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02238 private javax.swing.JButton getImportTypeButton() {
02239     if (ivjImportTypeButton == null) {
02240         try {
02241             ivjImportTypeButton = new javax.swing.JButton();
02242             ivjImportTypeButton.setName("ImportTypeButton");
02243             ivjImportTypeButton.setText("Add Type");
02244             ivjImportTypeButton.setBackground(new java.awt.Color(204,204,255));
02245             // user code begin {1}
02246             // user code end
02247         } catch (java.lang.Throwable ivjExc) {
02248             // user code begin {2}
02249             // user code end
02250             handleException(ivjExc);
02251         }
02252     }
02253     return ivjImportTypeButton;
02254 }
02255 /**
02256  * Return the NewButton property value.
02257  * @return javax.swing.JButton
02258  */
02259 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02260 private javax.swing.JButton getNewButton() {
02261     if (ivjNewButton == null) {
02262         try {
02263             ivjNewButton = new javax.swing.JButton();
02264             ivjNewButton.setName("NewButton");
02265             ivjNewButton.setMnemonic('n');
02266             ivjNewButton.setText("New");
02267             ivjNewButton.setBackground(new java.awt.Color(204,204,255));
02268             // user code begin {1}
02269             // user code end
02270         } catch (java.lang.Throwable ivjExc) {
02271             // user code begin {2}
02272             // user code end
02273             handleException(ivjExc);
02274         }
02275     }
02276     return ivjNewButton;
02277 }
02278 /**
02279  * Return the OkButton property value.
02280  * @return javax.swing.JButton
02281  */
02282 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02283 private javax.swing.JButton getOkButton() {
02284     if (ivjOkButton == null) {
02285         try {
02286             ivjOkButton = new javax.swing.JButton();
02287             ivjOkButton.setName("OkButton");
02288             ivjOkButton.setMnemonic('o');
02289             ivjOkButton.setText("Ok");
02290             ivjOkButton.setBackground(new java.awt.Color(204,204,255));
02291             // user code begin {1}
02292             // user code end
02293         } catch (java.lang.Throwable ivjExc) {
02294             // user code begin {2}
02295             // user code end
02296             handleException(ivjExc);
02297         }
02298     }
02299     return ivjOkButton;
02300 }
02301 /**
02302  * Return the OpenButton property value.
02303  * @return javax.swing.JButton
02304  */
02305 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02306 private javax.swing.JButton getOpenButton() {
02307     if (ivjOpenButton == null) {
02308         try {
02309             ivjOpenButton = new javax.swing.JButton();
02310             ivjOpenButton.setName("OpenButton");
02311             ivjOpenButton.setMnemonic('o');
02312             ivjOpenButton.setText("Open");
02313             ivjOpenButton.setBackground(new java.awt.Color(204,204,255));
02314             // user code begin {1}
02315             // user code end
02316         } catch (java.lang.Throwable ivjExc) {
02317             // user code begin {2}
02318             // user code end
02319             handleException(ivjExc);
02320         }
02321     }
02322     return ivjOpenButton;
02323 }
02324 /**
02325  * Return the JComboBox1 property value.
02326  * @return javax.swing.JComboBox
02327  */
02328 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02329 private javax.swing.JComboBox getPatternNameComboBox() {
02330     if (ivjPatternNameComboBox == null) {
02331         try {
02332             ivjPatternNameComboBox = new javax.swing.JComboBox();
02333             ivjPatternNameComboBox.setName("PatternNameComboBox");
02334             ivjPatternNameComboBox.setEnabled(false);
02335             // user code begin {1}
02336             // user code end
02337         } catch (java.lang.Throwable ivjExc) {
02338             // user code begin {2}
02339             // user code end
02340             handleException(ivjExc);
02341         }
02342     }
02343     return ivjPatternNameComboBox;
02344 }
02345 /**
02346  * Return the JLabel1 property value.
02347  * @return javax.swing.JLabel
02348  */
02349 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02350 private javax.swing.JLabel getPatternNameLabel() {
02351     if (ivjPatternNameLabel == null) {
02352         try {
02353             ivjPatternNameLabel = new javax.swing.JLabel();
02354             ivjPatternNameLabel.setName("PatternNameLabel");
02355             ivjPatternNameLabel.setText("Pattern Name:");
02356             ivjPatternNameLabel.setForeground(java.awt.Color.black);
02357             // user code begin {1}
02358             // user code end
02359         } catch (java.lang.Throwable ivjExc) {
02360             // user code begin {2}
02361             // user code end
02362             handleException(ivjExc);
02363         }
02364     }
02365     return ivjPatternNameLabel;
02366 }
02367 /**
02368  * Return the JComboBox2 property value.
02369  * @return javax.swing.JComboBox
02370  */
02371 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02372 private javax.swing.JComboBox getPatternScopeComboBox() {
02373     if (ivjPatternScopeComboBox == null) {
02374         try {
02375             ivjPatternScopeComboBox = new javax.swing.JComboBox();
02376             ivjPatternScopeComboBox.setName("PatternScopeComboBox");
02377             ivjPatternScopeComboBox.setEnabled(false);
02378             // user code begin {1}
02379             // user code end
02380         } catch (java.lang.Throwable ivjExc) {
02381             // user code begin {2}
02382             // user code end
02383             handleException(ivjExc);
02384         }
02385     }
02386     return ivjPatternScopeComboBox;
02387 }
02388 /**
02389  * Return the JLabel2 property value.
02390  * @return javax.swing.JLabel
02391  */
02392 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02393 private javax.swing.JLabel getPatternScopeLabel() {
02394     if (ivjPatternScopeLabel == null) {
02395         try {
02396             ivjPatternScopeLabel = new javax.swing.JLabel();
02397             ivjPatternScopeLabel.setName("PatternScopeLabel");
02398             ivjPatternScopeLabel.setText("Pattern Scope:");
02399             ivjPatternScopeLabel.setForeground(java.awt.Color.black);
02400             // user code begin {1}
02401             // user code end
02402         } catch (java.lang.Throwable ivjExc) {
02403             // user code begin {2}
02404             // user code end
02405             handleException(ivjExc);
02406         }
02407     }
02408     return ivjPatternScopeLabel;
02409 }
02410 /**
02411  * Return the PropertyManagerContentPane property value.
02412  * @return javax.swing.JPanel
02413  */
02414 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02415 private javax.swing.JPanel getPropertyManagerContentPane() {
02416     if (ivjPropertyManagerContentPane == null) {
02417         try {
02418             ivjPropertyManagerContentPane = new javax.swing.JPanel();
02419             ivjPropertyManagerContentPane.setName("PropertyManagerContentPane");
02420             ivjPropertyManagerContentPane.setBorder(new javax.swing.border.EtchedBorder());
02421             ivjPropertyManagerContentPane.setLayout(new java.awt.BorderLayout());
02422             ivjPropertyManagerContentPane.setBackground(new java.awt.Color(204,204,255));
02423             getPropertyManagerContentPane().add(getOkButton(), "South");
02424             getPropertyManagerContentPane().add(getPropertyManagerTabbedPane(), "Center");
02425             // user code begin {1}
02426             // user code end
02427         } catch (java.lang.Throwable ivjExc) {
02428             // user code begin {2}
02429             // user code end
02430             handleException(ivjExc);
02431         }
02432     }
02433     return ivjPropertyManagerContentPane;
02434 }
02435 /**
02436  * Return the PropertyManagerTabbedPane property value.
02437  * @return javax.swing.JTabbedPane
02438  */
02439 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02440 public javax.swing.JTabbedPane getPropertyManagerTabbedPane() {
02441     if (ivjPropertyManagerTabbedPane == null) {
02442         try {
02443             ivjPropertyManagerTabbedPane = new javax.swing.JTabbedPane();
02444             ivjPropertyManagerTabbedPane.setName("PropertyManagerTabbedPane");
02445             ivjPropertyManagerTabbedPane.insertTab("Property", null, getPropertyPanel(), null, 0);
02446             ivjPropertyManagerTabbedPane.insertTab("Temporal Logic", null, getTLPanel(), null, 1);
02447             ivjPropertyManagerTabbedPane.insertTab("Assertion", null, getAssertionPanel(), null, 2);
02448             // user code begin {1}
02449             // user code end
02450         } catch (java.lang.Throwable ivjExc) {
02451             // user code begin {2}
02452             // user code end
02453             handleException(ivjExc);
02454         }
02455     }
02456     return ivjPropertyManagerTabbedPane;
02457 }
02458 /**
02459  * Return the SummaryPanel property value.
02460  * @return javax.swing.JPanel
02461  */
02462 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02463 public javax.swing.JPanel getPropertyPanel() {
02464     if (ivjPropertyPanel == null) {
02465         try {
02466             ivjPropertyPanel = new javax.swing.JPanel();
02467             ivjPropertyPanel.setName("PropertyPanel");
02468             ivjPropertyPanel.setLayout(new java.awt.GridBagLayout());
02469             ivjPropertyPanel.setBackground(new java.awt.Color(204,204,255));
02470 
02471             java.awt.GridBagConstraints constraintsOpenButton = new java.awt.GridBagConstraints();
02472             constraintsOpenButton.gridx = 1; constraintsOpenButton.gridy = 2;
02473             constraintsOpenButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
02474             constraintsOpenButton.weightx = 1.0;
02475             constraintsOpenButton.insets = new java.awt.Insets(15, 10, 10, 0);
02476             getPropertyPanel().add(getOpenButton(), constraintsOpenButton);
02477 
02478             java.awt.GridBagConstraints constraintsSaveButton = new java.awt.GridBagConstraints();
02479             constraintsSaveButton.gridx = 3; constraintsSaveButton.gridy = 2;
02480             constraintsSaveButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
02481             constraintsSaveButton.weightx = 1.0;
02482             constraintsSaveButton.insets = new java.awt.Insets(15, 10, 10, 10);
02483             getPropertyPanel().add(getSaveButton(), constraintsSaveButton);
02484 
02485             java.awt.GridBagConstraints constraintsImportPanel = new java.awt.GridBagConstraints();
02486             constraintsImportPanel.gridx = 0; constraintsImportPanel.gridy = 1;
02487             constraintsImportPanel.gridwidth = 4;
02488             constraintsImportPanel.fill = java.awt.GridBagConstraints.BOTH;
02489             constraintsImportPanel.weightx = 1.0;
02490             constraintsImportPanel.weighty = 1.0;
02491             constraintsImportPanel.insets = new java.awt.Insets(15, 9, 0, 8);
02492             getPropertyPanel().add(getImportPanel(), constraintsImportPanel);
02493 
02494             java.awt.GridBagConstraints constraintsSaveAsButton = new java.awt.GridBagConstraints();
02495             constraintsSaveAsButton.gridx = 2; constraintsSaveAsButton.gridy = 2;
02496             constraintsSaveAsButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
02497             constraintsSaveAsButton.weightx = 1.0;
02498             constraintsSaveAsButton.insets = new java.awt.Insets(15, 10, 10, 0);
02499             getPropertyPanel().add(getSaveAsButton(), constraintsSaveAsButton);
02500 
02501             java.awt.GridBagConstraints constraintsDescriptionPanel = new java.awt.GridBagConstraints();
02502             constraintsDescriptionPanel.gridx = 0; constraintsDescriptionPanel.gridy = 0;
02503             constraintsDescriptionPanel.gridwidth = 4;
02504             constraintsDescriptionPanel.fill = java.awt.GridBagConstraints.BOTH;
02505             constraintsDescriptionPanel.weightx = 1.0;
02506             constraintsDescriptionPanel.weighty = 1.0;
02507             constraintsDescriptionPanel.insets = new java.awt.Insets(10, 9, 0, 8);
02508             getPropertyPanel().add(getDescriptionPanel(), constraintsDescriptionPanel);
02509 
02510             java.awt.GridBagConstraints constraintsNewButton = new java.awt.GridBagConstraints();
02511             constraintsNewButton.gridx = 0; constraintsNewButton.gridy = 2;
02512             constraintsNewButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
02513             constraintsNewButton.weightx = 1.0;
02514             constraintsNewButton.insets = new java.awt.Insets(15, 10, 10, 0);
02515             getPropertyPanel().add(getNewButton(), constraintsNewButton);
02516             // user code begin {1}
02517             // user code end
02518         } catch (java.lang.Throwable ivjExc) {
02519             // user code begin {2}
02520             // user code end
02521             handleException(ivjExc);
02522         }
02523     }
02524     return ivjPropertyPanel;
02525 }
02526 /**
02527  * Return the PropositionComboBox property value.
02528  * @return javax.swing.JComboBox
02529  */
02530 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02531 private javax.swing.JComboBox getPropositionComboBox() {
02532     if (ivjPropositionComboBox == null) {
02533         try {
02534             ivjPropositionComboBox = new javax.swing.JComboBox();
02535             ivjPropositionComboBox.setName("PropositionComboBox");
02536             ivjPropositionComboBox.setEnabled(false);
02537             // user code begin {1}
02538             ivjPropositionComboBox.addItem(" ");
02539             // user code end
02540         } catch (java.lang.Throwable ivjExc) {
02541             // user code begin {2}
02542             // user code end
02543             handleException(ivjExc);
02544         }
02545     }
02546     return ivjPropositionComboBox;
02547 }
02548 /**
02549  * Return the JLabel4 property value.
02550  * @return javax.swing.JLabel
02551  */
02552 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02553 private javax.swing.JLabel getPropositionLabel() {
02554     if (ivjPropositionLabel == null) {
02555         try {
02556             ivjPropositionLabel = new javax.swing.JLabel();
02557             ivjPropositionLabel.setName("PropositionLabel");
02558             ivjPropositionLabel.setText("Proposition:");
02559             ivjPropositionLabel.setForeground(java.awt.Color.black);
02560             // user code begin {1}
02561             // user code end
02562         } catch (java.lang.Throwable ivjExc) {
02563             // user code begin {2}
02564             // user code end
02565             handleException(ivjExc);
02566         }
02567     }
02568     return ivjPropositionLabel;
02569 }
02570 /**
02571  * Return the PropositionPopupMenu property value.
02572  * @return javax.swing.JPopupMenu
02573  */
02574 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02575 private javax.swing.JPopupMenu getPropositionPopupMenu() {
02576     if (ivjPropositionPopupMenu == null) {
02577         try {
02578             ivjPropositionPopupMenu = new javax.swing.JPopupMenu();
02579             ivjPropositionPopupMenu.setName("PropositionPopupMenu");
02580             ivjPropositionPopupMenu.add(getAddPredicateMenuItem());
02581             // user code begin {1}
02582             // user code end
02583         } catch (java.lang.Throwable ivjExc) {
02584             // user code begin {2}
02585             // user code end
02586             handleException(ivjExc);
02587         }
02588     }
02589     return ivjPropositionPopupMenu;
02590 }
02591 /**
02592  * Return the JTextField1 property value.
02593  * @return javax.swing.JTextField
02594  */
02595 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02596 public javax.swing.JTextField getPropositionTextField() {
02597     if (ivjPropositionTextField == null) {
02598         try {
02599             ivjPropositionTextField = new javax.swing.JTextField();
02600             ivjPropositionTextField.setName("PropositionTextField");
02601             ivjPropositionTextField.setBorder(BorderFactory.createLoweredBevelBorder());
02602             ivjPropositionTextField.setEditable(false);
02603             // user code begin {1}
02604             // user code end
02605         } catch (java.lang.Throwable ivjExc) {
02606             // user code begin {2}
02607             // user code end
02608             handleException(ivjExc);
02609         }
02610     }
02611     return ivjPropositionTextField;
02612 }
02613 /**
02614  * Return the quantificationScrollPane property value.
02615  * @return javax.swing.JScrollPane
02616  */
02617 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02618 private javax.swing.JScrollPane getQuantificationScrollPane() {
02619     if (ivjQuantificationScrollPane == null) {
02620         try {
02621             ivjQuantificationScrollPane = new javax.swing.JScrollPane();
02622             ivjQuantificationScrollPane.setName("QuantificationScrollPane");
02623             ivjQuantificationScrollPane.setPreferredSize(new java.awt.Dimension(3, 50));
02624             ivjQuantificationScrollPane.setBorder(BorderFactory.createLoweredBevelBorder());
02625             ivjQuantificationScrollPane.setMinimumSize(new java.awt.Dimension(22, 50));
02626             getQuantificationScrollPane().setViewportView(getQuantificationTextArea());
02627             // user code begin {1}
02628             // user code end
02629         } catch (java.lang.Throwable ivjExc) {
02630             // user code begin {2}
02631             // user code end
02632             handleException(ivjExc);
02633         }
02634     }
02635     return ivjQuantificationScrollPane;
02636 }
02637 /**
02638  * Return the quantificationTextArea property value.
02639  * @return javax.swing.JTextArea
02640  */
02641 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02642 private javax.swing.JTextArea getQuantificationTextArea() {
02643     if (ivjQuantificationTextArea == null) {
02644         try {
02645             ivjQuantificationTextArea = new javax.swing.JTextArea();
02646             ivjQuantificationTextArea.setName("QuantificationTextArea");
02647             ivjQuantificationTextArea.setBorder(new javax.swing.border.CompoundBorder());
02648             ivjQuantificationTextArea.setBackground(new java.awt.Color(204,204,204));
02649             ivjQuantificationTextArea.setBounds(0, 0, 306, 27);
02650             ivjQuantificationTextArea.setEditable(false);
02651             ivjQuantificationTextArea.setEnabled(true);
02652             // user code begin {1}
02653             // user code end
02654         } catch (java.lang.Throwable ivjExc) {
02655             // user code begin {2}
02656             // user code end
02657             handleException(ivjExc);
02658         }
02659     }
02660     return ivjQuantificationTextArea;
02661 }
02662 /**
02663  * Return the QuantifierLabel property value.
02664  * @return javax.swing.JLabel
02665  */
02666 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02667 private javax.swing.JLabel getQuantifierLabel() {
02668     if (ivjQuantifierLabel == null) {
02669         try {
02670             ivjQuantifierLabel = new javax.swing.JLabel();
02671             ivjQuantifierLabel.setName("QuantifierLabel");
02672             ivjQuantifierLabel.setText("Quantifications:");
02673             ivjQuantifierLabel.setForeground(java.awt.Color.black);
02674             // user code begin {1}
02675             // user code end
02676         } catch (java.lang.Throwable ivjExc) {
02677             // user code begin {2}
02678             // user code end
02679             handleException(ivjExc);
02680         }
02681     }
02682     return ivjQuantifierLabel;
02683 }
02684 /**
02685  * Return the RemoveButton property value.
02686  * @return javax.swing.JButton
02687  */
02688 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02689 private javax.swing.JButton getRemoveAssertionButton() {
02690     if (ivjRemoveAssertionButton == null) {
02691         try {
02692             ivjRemoveAssertionButton = new javax.swing.JButton();
02693             ivjRemoveAssertionButton.setName("RemoveAssertionButton");
02694             ivjRemoveAssertionButton.setText("Remove");
02695             ivjRemoveAssertionButton.setBackground(new java.awt.Color(204,204,255));
02696             ivjRemoveAssertionButton.setEnabled(false);
02697             // user code begin {1}
02698             // user code end
02699         } catch (java.lang.Throwable ivjExc) {
02700             // user code begin {2}
02701             // user code end
02702             handleException(ivjExc);
02703         }
02704     }
02705     return ivjRemoveAssertionButton;
02706 }
02707 /**
02708  * Return the RemoveEnabledButton property value.
02709  * @return javax.swing.JButton
02710  */
02711 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02712 private javax.swing.JButton getRemoveEnabledAssertionButton() {
02713     if (ivjRemoveEnabledAssertionButton == null) {
02714         try {
02715             ivjRemoveEnabledAssertionButton = new javax.swing.JButton();
02716             ivjRemoveEnabledAssertionButton.setName("RemoveEnabledAssertionButton");
02717             ivjRemoveEnabledAssertionButton.setText("Remove");
02718             ivjRemoveEnabledAssertionButton.setBackground(new java.awt.Color(204,204,255));
02719             ivjRemoveEnabledAssertionButton.setEnabled(false);
02720             // user code begin {1}
02721             // user code end
02722         } catch (java.lang.Throwable ivjExc) {
02723             // user code begin {2}
02724             // user code end
02725             handleException(ivjExc);
02726         }
02727     }
02728     return ivjRemoveEnabledAssertionButton;
02729 }
02730 /**
02731  * Return the RemoveImportButton property value.
02732  * @return javax.swing.JButton
02733  */
02734 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02735 private javax.swing.JButton getRemoveImportButton() {
02736     if (ivjRemoveImportButton == null) {
02737         try {
02738             ivjRemoveImportButton = new javax.swing.JButton();
02739             ivjRemoveImportButton.setName("RemoveImportButton");
02740             ivjRemoveImportButton.setMnemonic('r');
02741             ivjRemoveImportButton.setText("Remove");
02742             ivjRemoveImportButton.setBackground(new java.awt.Color(204,204,255));
02743             ivjRemoveImportButton.setEnabled(false);
02744             // user code begin {1}
02745             // user code end
02746         } catch (java.lang.Throwable ivjExc) {
02747             // user code begin {2}
02748             // user code end
02749             handleException(ivjExc);
02750         }
02751     }
02752     return ivjRemoveImportButton;
02753 }
02754 /**
02755  * Return the JButton2 property value.
02756  * @return javax.swing.JButton
02757  */
02758 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02759 private javax.swing.JButton getRemoveTLButton() {
02760     if (ivjRemoveTLButton == null) {
02761         try {
02762             ivjRemoveTLButton = new javax.swing.JButton();
02763             ivjRemoveTLButton.setName("RemoveTLButton");
02764             ivjRemoveTLButton.setText("Remove");
02765             ivjRemoveTLButton.setBackground(new java.awt.Color(204,204,255));
02766             ivjRemoveTLButton.setEnabled(false);
02767             // user code begin {1}
02768             // user code end
02769         } catch (java.lang.Throwable ivjExc) {
02770             // user code begin {2}
02771             // user code end
02772             handleException(ivjExc);
02773         }
02774     }
02775     return ivjRemoveTLButton;
02776 }
02777 /**
02778  * Return the SaveAsButton property value.
02779  * @return javax.swing.JButton
02780  */
02781 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02782 private javax.swing.JButton getSaveAsButton() {
02783     if (ivjSaveAsButton == null) {
02784         try {
02785             ivjSaveAsButton = new javax.swing.JButton();
02786             ivjSaveAsButton.setName("SaveAsButton");
02787             ivjSaveAsButton.setMnemonic('a');
02788             ivjSaveAsButton.setText("Save as");
02789             ivjSaveAsButton.setBackground(new java.awt.Color(204,204,255));
02790             // user code begin {1}
02791             // user code end
02792         } catch (java.lang.Throwable ivjExc) {
02793             // user code begin {2}
02794             // user code end
02795             handleException(ivjExc);
02796         }
02797     }
02798     return ivjSaveAsButton;
02799 }
02800 /**
02801  * Return the SaveButton property value.
02802  * @return javax.swing.JButton
02803  */
02804 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02805 private javax.swing.JButton getSaveButton() {
02806     if (ivjSaveButton == null) {
02807         try {
02808             ivjSaveButton = new javax.swing.JButton();
02809             ivjSaveButton.setName("SaveButton");
02810             ivjSaveButton.setMnemonic('s');
02811             ivjSaveButton.setText("Save");
02812             ivjSaveButton.setBackground(new java.awt.Color(204,204,255));
02813             // user code begin {1}
02814             // user code end
02815         } catch (java.lang.Throwable ivjExc) {
02816             // user code begin {2}
02817             // user code end
02818             handleException(ivjExc);
02819         }
02820     }
02821     return ivjSaveButton;
02822 }
02823 /**
02824  * Return the ShowErrorButton property value.
02825  * @return javax.swing.JButton
02826  */
02827 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02828 private javax.swing.JButton getShowErrorButton() {
02829     if (ivjShowErrorButton == null) {
02830         try {
02831             ivjShowErrorButton = new javax.swing.JButton();
02832             ivjShowErrorButton.setName("ShowErrorButton");
02833             ivjShowErrorButton.setMnemonic('e');
02834             ivjShowErrorButton.setText("Show Error Message(s)");
02835             ivjShowErrorButton.setBackground(new java.awt.Color(204,204,255));
02836             ivjShowErrorButton.setEnabled(false);
02837             // user code begin {1}
02838             // user code end
02839         } catch (java.lang.Throwable ivjExc) {
02840             // user code begin {2}
02841             // user code end
02842             handleException(ivjExc);
02843         }
02844     }
02845     return ivjShowErrorButton;
02846 }
02847 /**
02848  * Return the ShowMappingButton property value.
02849  * @return javax.swing.JButton
02850  */
02851 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02852 private javax.swing.JButton getShowMappingButton() {
02853     if (ivjShowMappingButton == null) {
02854         try {
02855             ivjShowMappingButton = new javax.swing.JButton();
02856             ivjShowMappingButton.setName("ShowMappingButton");
02857             ivjShowMappingButton.setMnemonic('m');
02858             ivjShowMappingButton.setText("Show Mapping");
02859             ivjShowMappingButton.setBackground(new java.awt.Color(204,204,255));
02860             ivjShowMappingButton.setEnabled(false);
02861             // user code begin {1}
02862             // user code end
02863         } catch (java.lang.Throwable ivjExc) {
02864             // user code begin {2}
02865             // user code end
02866             handleException(ivjExc);
02867         }
02868     }
02869     return ivjShowMappingButton;
02870 }
02871 /**
02872  * Return the TLDescriptionButton property value.
02873  * @return javax.swing.JButton
02874  */
02875 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02876 private javax.swing.JButton getTLDescriptionButton() {
02877     if (ivjTLDescriptionButton == null) {
02878         try {
02879             ivjTLDescriptionButton = new javax.swing.JButton();
02880             ivjTLDescriptionButton.setName("TLDescriptionButton");
02881             ivjTLDescriptionButton.setMnemonic('d');
02882             ivjTLDescriptionButton.setText("Description");
02883             ivjTLDescriptionButton.setBackground(new java.awt.Color(204,204,255));
02884             ivjTLDescriptionButton.setEnabled(false);
02885             // user code begin {1}
02886             // user code end
02887         } catch (java.lang.Throwable ivjExc) {
02888             // user code begin {2}
02889             // user code end
02890             handleException(ivjExc);
02891         }
02892     }
02893     return ivjTLDescriptionButton;
02894 }
02895 /**
02896  * Return the TLList property value.
02897  * @return javax.swing.JList
02898  */
02899 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02900 private javax.swing.JList getTLList() {
02901     if (ivjTLList == null) {
02902         try {
02903             ivjTLList = new javax.swing.JList();
02904             ivjTLList.setName("TLList");
02905             ivjTLList.setBackground(new java.awt.Color(204,204,204));
02906             ivjTLList.setBounds(0, 0, 160, 120);
02907             ivjTLList.setSelectionMode(javax.swing.ListSelectionModel.MULTIPLE_INTERVAL_SELECTION);
02908             // user code begin {1}
02909             ivjTLList.setCellRenderer(new DefaultListCellRenderer() {
02910                 public Component getListCellRendererComponent(JList list, Object value, int index, boolean isSelected, boolean cellHasFocus) {
02911                     super.getListCellRendererComponent(list, value, index, isSelected, cellHasFocus);
02912                     if (value instanceof TemporalLogicProperty) {
02913                         TemporalLogicProperty tlp = (TemporalLogicProperty) value;
02914                         setText(tlp.getName());
02915                         if (BUI.property.isActivated(tlp)) {
02916                             setIcon(IconLibrary.arrow);
02917                         } else {
02918                             setIcon(IconLibrary.earrow);
02919                         }
02920                     }
02921                     return this;
02922                 }
02923             });
02924             // user code end
02925         } catch (java.lang.Throwable ivjExc) {
02926             // user code begin {2}
02927             // user code end
02928             handleException(ivjExc);
02929         }
02930     }
02931     return ivjTLList;
02932 }
02933 /**
02934  * Return the TLNameLabel property value.
02935  * @return javax.swing.JLabel
02936  */
02937 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02938 private javax.swing.JLabel getTLNameLabel() {
02939     if (ivjTLNameLabel == null) {
02940         try {
02941             ivjTLNameLabel = new javax.swing.JLabel();
02942             ivjTLNameLabel.setName("TLNameLabel");
02943             ivjTLNameLabel.setDisplayedMnemonic('n');
02944             ivjTLNameLabel.setText("Name:");
02945             ivjTLNameLabel.setForeground(java.awt.Color.black);
02946             // user code begin {1}
02947             // user code end
02948         } catch (java.lang.Throwable ivjExc) {
02949             // user code begin {2}
02950             // user code end
02951             handleException(ivjExc);
02952         }
02953     }
02954     return ivjTLNameLabel;
02955 }
02956 /**
02957  * Return the TLNameTextField property value.
02958  * @return javax.swing.JTextField
02959  */
02960 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02961 private javax.swing.JTextField getTLNameTextField() {
02962     if (ivjTLNameTextField == null) {
02963         try {
02964             ivjTLNameTextField = new javax.swing.JTextField();
02965             ivjTLNameTextField.setName("TLNameTextField");
02966             ivjTLNameTextField.setBorder(BorderFactory.createLoweredBevelBorder());
02967             ivjTLNameTextField.setEditable(false);
02968             ivjTLNameTextField.setFocusAccelerator('n');
02969             // user code begin {1}
02970             // user code end
02971         } catch (java.lang.Throwable ivjExc) {
02972             // user code begin {2}
02973             // user code end
02974             handleException(ivjExc);
02975         }
02976     }
02977     return ivjTLNameTextField;
02978 }
02979 /**
02980  * Return the TLPanel property value.
02981  * @return javax.swing.JPanel
02982  */
02983 /* WARNING: THIS METHOD WILL BE REGENERATED. */
02984 public javax.swing.JPanel getTLPanel() {
02985     if (ivjTLPanel == null) {
02986         try {
02987             ivjTLPanel = new javax.swing.JPanel();
02988             ivjTLPanel.setName("TLPanel");
02989             ivjTLPanel.setLayout(new java.awt.GridBagLayout());
02990             ivjTLPanel.setBackground(new java.awt.Color(204,204,255));
02991 
02992             java.awt.GridBagConstraints constraintsTLScrollPane = new java.awt.GridBagConstraints();
02993             constraintsTLScrollPane.gridx = 0; constraintsTLScrollPane.gridy = 0;
02994 constraintsTLScrollPane.gridheight = 7;
02995             constraintsTLScrollPane.fill = java.awt.GridBagConstraints.BOTH;
02996             constraintsTLScrollPane.weightx = 1.0;
02997             constraintsTLScrollPane.weighty = 1.0;
02998             constraintsTLScrollPane.insets = new java.awt.Insets(10, 10, 0, 0);
02999             getTLPanel().add(getTLScrollPane(), constraintsTLScrollPane);
03000 
03001             java.awt.GridBagConstraints constraintsAddTLButton = new java.awt.GridBagConstraints();
03002             constraintsAddTLButton.gridx = 1; constraintsAddTLButton.gridy = 1;
03003             constraintsAddTLButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
03004             constraintsAddTLButton.insets = new java.awt.Insets(10, 10, 0, 10);
03005             getTLPanel().add(getAddTLButton(), constraintsAddTLButton);
03006 
03007             java.awt.GridBagConstraints constraintsRemoveTLButton = new java.awt.GridBagConstraints();
03008             constraintsRemoveTLButton.gridx = 1; constraintsRemoveTLButton.gridy = 2;
03009             constraintsRemoveTLButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
03010             constraintsRemoveTLButton.insets = new java.awt.Insets(10, 10, 0, 10);
03011             getTLPanel().add(getRemoveTLButton(), constraintsRemoveTLButton);
03012 
03013             java.awt.GridBagConstraints constraintsFormulaPanel = new java.awt.GridBagConstraints();
03014             constraintsFormulaPanel.gridx = 0; constraintsFormulaPanel.gridy = 7;
03015             constraintsFormulaPanel.gridwidth = 2;
03016             constraintsFormulaPanel.fill = java.awt.GridBagConstraints.BOTH;
03017             constraintsFormulaPanel.weightx = 1.0;
03018             constraintsFormulaPanel.weighty = 1.0;
03019             constraintsFormulaPanel.insets = new java.awt.Insets(15, 9, 10, 7);
03020             getTLPanel().add(getFormulaPanel(), constraintsFormulaPanel);
03021 
03022             java.awt.GridBagConstraints constraintsActivateTLButton = new java.awt.GridBagConstraints();
03023             constraintsActivateTLButton.gridx = 1; constraintsActivateTLButton.gridy = 0;
03024             constraintsActivateTLButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
03025             constraintsActivateTLButton.insets = new java.awt.Insets(10, 10, 0, 10);
03026             getTLPanel().add(getActivateTLButton(), constraintsActivateTLButton);
03027 
03028             java.awt.GridBagConstraints constraintsTLNameLabel = new java.awt.GridBagConstraints();
03029             constraintsTLNameLabel.gridx = 1; constraintsTLNameLabel.gridy = 3;
03030             constraintsTLNameLabel.fill = java.awt.GridBagConstraints.BOTH;
03031             constraintsTLNameLabel.insets = new java.awt.Insets(15, 10, 0, 10);
03032             getTLPanel().add(getTLNameLabel(), constraintsTLNameLabel);
03033 
03034             java.awt.GridBagConstraints constraintsTLNameTextField = new java.awt.GridBagConstraints();
03035             constraintsTLNameTextField.gridx = 1; constraintsTLNameTextField.gridy = 4;
03036             constraintsTLNameTextField.fill = java.awt.GridBagConstraints.HORIZONTAL;
03037             constraintsTLNameTextField.insets = new java.awt.Insets(5, 10, 0, 10);
03038             getTLPanel().add(getTLNameTextField(), constraintsTLNameTextField);
03039 
03040             java.awt.GridBagConstraints constraintsTLDescriptionButton = new java.awt.GridBagConstraints();
03041             constraintsTLDescriptionButton.gridx = 1; constraintsTLDescriptionButton.gridy = 6;
03042             constraintsTLDescriptionButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
03043             constraintsTLDescriptionButton.insets = new java.awt.Insets(0, 10, 0, 10);
03044             getTLPanel().add(getTLDescriptionButton(), constraintsTLDescriptionButton);
03045             // user code begin {1}
03046             // user code end
03047         } catch (java.lang.Throwable ivjExc) {
03048             // user code begin {2}
03049             // user code end
03050             handleException(ivjExc);
03051         }
03052     }
03053     return ivjTLPanel;
03054 }
03055 /**
03056  * Return the TLScrollPane property value.
03057  * @return javax.swing.JScrollPane
03058  */
03059 /* WARNING: THIS METHOD WILL BE REGENERATED. */
03060 private javax.swing.JScrollPane getTLScrollPane() {
03061     if (ivjTLScrollPane == null) {
03062         try {
03063             ivjTLScrollPane = new javax.swing.JScrollPane();
03064             ivjTLScrollPane.setName("TLScrollPane");
03065             ivjTLScrollPane.setBorder(BorderFactory.createLoweredBevelBorder());
03066             getTLScrollPane().setViewportView(getTLList());
03067             // user code begin {1}
03068             // user code end
03069         } catch (java.lang.Throwable ivjExc) {
03070             // user code begin {2}
03071             // user code end
03072             handleException(ivjExc);
03073         }
03074     }
03075     return ivjTLScrollPane;
03076 }
03077 /**
03078  * Comment
03079  */
03080 public void gotoAssertionDefinitionButton_ActionEvents() {
03081     try {
03082         Assertion p = AssertionSet.getAssertion((Name) getEnabledAssertionList().getSelectedValue());
03083         Annotation a = p.getAnnotation();
03084         if (a instanceof LabeledStmtAnnotation) {
03085             a = CompilationManager.getAnnotationManager().getMethodAnnotationContainingAnnotation(a);
03086         }
03087         BUI.sessionPane.select(a, p);
03088     } catch (Exception e) {
03089     }
03090 }
03091 /**
03092  * Called whenever the part throws an exception.
03093  * @param exception java.lang.Throwable
03094  */
03095 private void handleException(java.lang.Throwable exception) {
03096 
03097     /* Uncomment the following lines to print uncaught exceptions to stdout */
03098     // System.out.println("--------- UNCAUGHT EXCEPTION ---------");
03099     // exception.printStackTrace(System.out);
03100 }
03101 /**
03102  * Comment
03103  */
03104 public void importAssertionButton_ActionEvents() {
03105     Vector v = new Vector();
03106     for (Enumeration e = AssertionSet.getAssertionSetTable().elements(); e.hasMoreElements();) {
03107         for (Enumeration e2 = ((AssertionSet) e.nextElement()).getAssertionTable().elements(); e2.hasMoreElements();) {
03108             v.add(e2.nextElement());
03109         }
03110     }
03111     int size = v.size();
03112     if (size > 0) {
03113         Object[] possibleValues = new Object[size];
03114         int i = 0;
03115         for (Enumeration e = v.elements(); e.hasMoreElements(); i++) {
03116             possibleValues[i] = ((Assertion) e.nextElement()).getName();
03117         }
03118         Object selectedValue = JOptionPane.showInputDialog(null, "Choose assertion", "Import Assertion", JOptionPane.INFORMATION_MESSAGE, null, possibleValues, possibleValues[0]);
03119         if (selectedValue != null) {
03120             try {
03121                 Assertion a = AssertionSet.getAssertion((Name) selectedValue);
03122                 BUI.property.importAssertion(a.getName());
03123                 updateImportList();
03124                 getImportList().setSelectedValue(a, true);
03125                 isClean = false;
03126             } catch (Exception e) {
03127                 throw new RuntimeException(e.getMessage());
03128             }
03129         }
03130     } else {
03131         JOptionPane.showMessageDialog(null, "There are no assertions to choose from", "Import Assertion", JOptionPane.INFORMATION_MESSAGE); 
03132     }
03133 }
03134 /**
03135  * Comment
03136  */
03137 public void importAssertionSetButton_ActionEvents() {
03138     int size = AssertionSet.getAssertionSetTable().size();
03139     if (size > 0) {
03140         Object[] possibleValues = new Object[size];
03141         int i = 0;
03142         for (Enumeration e = AssertionSet.getAssertionSetTable().elements(); e.hasMoreElements(); i++) {
03143             possibleValues[i] = ((AssertionSet) e.nextElement()).getName();
03144         }
03145         Object selectedValue = JOptionPane.showInputDialog(null, "Choose assertion set", "Import Assertion Set", JOptionPane.INFORMATION_MESSAGE, null, possibleValues, possibleValues[0]);
03146         if (selectedValue != null) {
03147             try {
03148                 AssertionSet as = AssertionSet.getAssertionSet((Name) selectedValue);
03149                 BUI.property.importAssertionSet(as.getName());
03150                 updateImportList();
03151                 getImportList().setSelectedValue(as, true);
03152                 isClean = false;
03153             } catch (Exception e) {
03154                 throw new RuntimeException(e.getMessage());
03155             }
03156         }
03157     } else {
03158         JOptionPane.showMessageDialog(null, "There are no assertion sets to choose from", "Import Assertion Set", JOptionPane.INFORMATION_MESSAGE); 
03159     }
03160 }
03161 /**
03162  * Comment
03163  */
03164 public void importList_ListSelectionEvents() {
03165     getRemoveImportButton().setEnabled(true);
03166 }
03167 /**
03168  * Comment
03169  */
03170 public void importPackageButton_ActionEvents() {
03171     Vector v = new Vector();
03172     for (Enumeration e = CompilationManager.getCompiledClasses().elements(); e.hasMoreElements();) {
03173         try {
03174             Name cName = new Name(((SootClass) e.nextElement()).getName());
03175             if (!cName.isSimpleName()) {
03176                 Package p = Package.getPackage(cName.getSuperName());
03177                 if (!v.contains(p)) {
03178                     v.add(p);
03179                 }
03180             }
03181         } catch (Exception ex) {
03182         }
03183     }
03184     int size = v.size();
03185     
03186     if (size > 0) {
03187         Object[] possibleValues = new Object[size];
03188         int i = 0;
03189         for (Enumeration e = v.elements(); e.hasMoreElements(); i++) {
03190             possibleValues[i] = e.nextElement();
03191         }
03192         Object selectedValue = JOptionPane.showInputDialog(null, "Choose package", "Import Package", JOptionPane.INFORMATION_MESSAGE, null, possibleValues, possibleValues[0]);
03193         if (selectedValue != null) {
03194             try {
03195                 Package p = (Package) selectedValue;
03196                 BUI.property.importPackage(p.getName()); 
03197                 updateImportList();
03198                 getImportList().setSelectedValue(p, true);
03199                 isClean = false;
03200             } catch (Exception e) {
03201                 throw new RuntimeException(e.getMessage());
03202             }
03203         }
03204     } else {
03205         JOptionPane.showMessageDialog(null, "There are no packages to choose from", "Import Package", JOptionPane.INFORMATION_MESSAGE); 
03206     }
03207 }
03208 /**
03209  * Comment
03210  */
03211 public void importPredicateButton_ActionEvents() {
03212     Vector v = new Vector();
03213     for (Enumeration e = PredicateSet.getPredicateSetTable().elements(); e.hasMoreElements();) {
03214         for (Enumeration e2 = ((PredicateSet) e.nextElement()).getPredicateTable().elements(); e2.hasMoreElements();) {
03215             v.add(e2.nextElement());
03216         }
03217     }
03218     int size = v.size();
03219     if (size > 0) {
03220         Object[] possibleValues = new Object[size];
03221         int i = 0;
03222         for (Enumeration e = v.elements(); e.hasMoreElements(); i++) {
03223             possibleValues[i] = ((Predicate) e.nextElement()).getName();
03224         }
03225         Object selectedValue = JOptionPane.showInputDialog(null, "Choose predicate", "Import Predicate", JOptionPane.INFORMATION_MESSAGE, null, possibleValues, possibleValues[0]);
03226         if (selectedValue != null) {
03227             try {
03228                 Predicate p = PredicateSet.getPredicate((Name) selectedValue);
03229                 BUI.property.importPredicate(p.getName());
03230                 updateImportList();
03231                 getImportList().setSelectedValue(p, true);
03232                 isClean = false;
03233             } catch (Exception e) {
03234                 throw new RuntimeException(e.getMessage());
03235             }
03236         }
03237     } else {
03238         JOptionPane.showMessageDialog(null, "There are no predicates to choose from", "Import Predicate", JOptionPane.INFORMATION_MESSAGE); 
03239     }
03240 }
03241 /**
03242  * Comment
03243  */
03244 public void importPredicateSetButton_ActionEvents() {
03245     int size = PredicateSet.getPredicateSetTable().size();
03246     if (size > 0) {
03247         Object[] possibleValues = new Object[size];
03248         int i = 0;
03249         for (Enumeration e = PredicateSet.getPredicateSetTable().elements(); e.hasMoreElements(); i++) {
03250             possibleValues[i] = ((PredicateSet) e.nextElement()).getName();
03251         }
03252         Object selectedValue = JOptionPane.showInputDialog(null, "Choose predicate set", "Import Predicate Set", JOptionPane.INFORMATION_MESSAGE, null, possibleValues, possibleValues[0]);
03253         if (selectedValue != null) {
03254             try {
03255                 PredicateSet ps = PredicateSet.getPredicateSet((Name) selectedValue);
03256                 BUI.property.importPredicateSet(ps.getName());
03257                 updateImportList();
03258                 getImportList().setSelectedValue(ps, true);
03259                 isClean = false;
03260             } catch (Exception e) {
03261                 throw new RuntimeException(e.getMessage());
03262             }
03263         }
03264     } else {
03265         JOptionPane.showMessageDialog(null, "There are no predicate sets to choose from", "Import Predicate Set", JOptionPane.INFORMATION_MESSAGE); 
03266     }
03267 }
03268 /**
03269  * Comment
03270  */
03271 public void importTypeButton_ActionEvents() {
03272     int size = CompilationManager.getCompiledClasses().size();
03273     if (size > 0) {
03274         Object[] possibleValues = new Object[size];
03275         int i = 0;
03276         for (Enumeration e = CompilationManager.getCompiledClasses().elements(); e.hasMoreElements(); i++) {
03277             possibleValues[i] = e.nextElement();
03278         }
03279         Object selectedValue = JOptionPane.showInputDialog(null, "Choose type", "Import Type", JOptionPane.INFORMATION_MESSAGE, null, possibleValues, possibleValues[0]);
03280         if (selectedValue != null) {
03281             BUI.property.importType(new Name(((SootClass) selectedValue).getName()));
03282             updateImportList();
03283             getImportList().setSelectedValue(selectedValue, true);
03284             isClean = false;
03285         }
03286     } else {
03287         JOptionPane.showMessageDialog(null, "There are no types to choose from", "Import Type", JOptionPane.INFORMATION_MESSAGE); 
03288     }
03289 }
03290 /**
03291  * Initializes connections
03292  * @exception java.lang.Exception The exception description.
03293  */
03294 /* WARNING: THIS METHOD WILL BE REGENERATED. */
03295 private void initConnections() throws java.lang.Exception {
03296     // user code begin {1}
03297     // user code end
03298     getOkButton().addActionListener(ivjEventHandler);
03299     getImportTypeButton().addActionListener(ivjEventHandler);
03300     getImportPackageButton().addActionListener(ivjEventHandler);
03301     getImportPredicateButton().addActionListener(ivjEventHandler);
03302     getImportPredicateSetButton().addActionListener(ivjEventHandler);
03303     getImportAssertionButton().addActionListener(ivjEventHandler);
03304     getImportAssertionSetButton().addActionListener(ivjEventHandler);
03305     getRemoveImportButton().addActionListener(ivjEventHandler);
03306     getImportList().addListSelectionListener(ivjEventHandler);
03307     getAddAssertionButton().addActionListener(ivjEventHandler);
03308     getRemoveAssertionButton().addActionListener(ivjEventHandler);
03309     getActivateAssertionButton().addActionListener(ivjEventHandler);
03310     getAssertionList().addListSelectionListener(ivjEventHandler);
03311     getAddEnabledAssertionButton().addActionListener(ivjEventHandler);
03312     getRemoveEnabledAssertionButton().addActionListener(ivjEventHandler);
03313     getEnabledAssertionList().addListSelectionListener(ivjEventHandler);
03314     getAssertionNameTextField().addKeyListener(ivjEventHandler);
03315     getAssertionNameTextField().addFocusListener(ivjEventHandler);
03316     getTLList().addListSelectionListener(ivjEventHandler);
03317     getAddTLButton().addActionListener(ivjEventHandler);
03318     getRemoveTLButton().addActionListener(ivjEventHandler);
03319     getActivateTLButton().addActionListener(ivjEventHandler);
03320     getTLNameTextField().addKeyListener(ivjEventHandler);
03321     getTLNameTextField().addFocusListener(ivjEventHandler);
03322     getPatternNameComboBox().addActionListener(ivjEventHandler);
03323     getPatternScopeComboBox().addActionListener(ivjEventHandler);
03324     getPropositionComboBox().addActionListener(ivjEventHandler);
03325     getPropositionTextField().addKeyListener(ivjEventHandler);
03326     getPropositionTextField().addFocusListener(ivjEventHandler);
03327     getExpandButton().addActionListener(ivjEventHandler);
03328     getShowErrorButton().addActionListener(ivjEventHandler);
03329     getShowMappingButton().addActionListener(ivjEventHandler);
03330     getNewButton().addActionListener(ivjEventHandler);
03331     getOpenButton().addActionListener(ivjEventHandler);
03332     getSaveAsButton().addActionListener(ivjEventHandler);
03333     getSaveButton().addActionListener(ivjEventHandler);
03334     getPropositionTextField().addMouseListener(ivjEventHandler);
03335     getAddPredicateMenuItem().addActionListener(ivjEventHandler);
03336     getQuantificationTextArea().addKeyListener(ivjEventHandler);
03337     getQuantificationTextArea().addFocusListener(ivjEventHandler);
03338 }
03339 /**
03340  * Initialize the class.
03341  */
03342 /* WARNING: THIS METHOD WILL BE REGENERATED. */
03343 private void initialize() {
03344     try {
03345         // user code begin {1}
03346         // user code end
03347         setName("PropertyManager");
03348         setDefaultCloseOperation(javax.swing.WindowConstants.DISPOSE_ON_CLOSE);
03349         setSize(492, 636);
03350         setTitle("Property Manager");
03351         setContentPane(getPropertyManagerContentPane());
03352         initConnections();
03353     } catch (java.lang.Throwable ivjExc) {
03354         handleException(ivjExc);
03355     }
03356     // user code begin {2}
03357         setTitle("Property Manager<Untitled>");
03358     // user code end
03359 }
03360     public boolean isDialogClean() { return isClean; /* Another robbyjo's patch */ }
03361 /**
03362  * Comment
03363  */
03364 public void jTextField1_KeyEvents() {
03365     return;
03366 }
03367 /**
03368  * 
03369  * @param filename java.lang.String
03370  */
03371 public void loadFile(String filename) throws Exception {
03372     BUI.property = SpecificationSaverLoader.load(filename);
03373     setTitle("Property Manager<" + new File(filename).getName() + ">");
03374 }
03375 /**
03376  * main entrypoint - starts the part when it is run as an application
03377  * @param args java.lang.String[]
03378  */
03379 public static void main(java.lang.String[] args) {
03380     try {
03381         PropertyManager aPropertyManager;
03382         aPropertyManager = new PropertyManager();
03383         aPropertyManager.addWindowListener(new java.awt.event.WindowAdapter() {
03384             public void windowClosing(java.awt.event.WindowEvent e) {
03385                 System.exit(0);
03386             };
03387         });
03388         aPropertyManager.setVisible(true);
03389     } catch (Throwable exception) {
03390         System.err.println("Exception occurred in main() of javax.swing.JFrame");
03391         exception.printStackTrace(System.out);
03392     }
03393 }
03394 /**
03395  * Comment
03396  */
03397 public void newButton_ActionEvents() {
03398     BUI.property = new Property();
03399     updatePropertyManager();
03400     try {
03401         BUI.sessions.getActiveSession().setSpecFilename(null);
03402         BUI.manager.updateProperty();
03403     } catch (Exception e) {
03404     }
03405     setTitle("Property Manager<Untitled>");
03406     isClean = true;
03407 }
03408 /**
03409  * Comment
03410  */
03411 public void openButton_ActionEvents() {
03412     FileChooser.chooser.setCurrentDirectory(new File(System.getProperty("user.dir")));
03413     FileChooser.chooser.setSelectedFile(new File(""));
03414     FileChooser.chooser.setFileFilter(FileChooser.SPECIFICATION);
03415     FileChooser.chooser.setFileSelectionMode(FileChooser.FILES_ONLY);
03416     
03417     if (FileChooser.chooser.showOpenDialog(this) == FileChooser.APPROVE_OPTION) {
03418         try {
03419             if (FileChooser.chooser.getSelectedFile().isDirectory()) {
03420                 JOptionPane.showMessageDialog(this, "Cannot choose a directory to open a specification file", "Information", JOptionPane.INFORMATION_MESSAGE);
03421                 return;
03422             }
03423             if (!FileChooser.chooser.getSelectedFile().exists()) {
03424                 JOptionPane.showMessageDialog(this, "Selected file does not exist", "Information", JOptionPane.INFORMATION_MESSAGE);
03425                 return;
03426             }
03427             String filename = FileChooser.chooser.getSelectedFile().getCanonicalPath();
03428             loadFile(filename);
03429             updatePropertyManager();
03430             try {
03431                 BUI.sessions.getActiveSession().setSpecFilename(filename);
03432                 BUI.manager.updateProperty();
03433                 isClean = false;
03434             } catch (Exception ex) {}
03435         } catch (Exception e) {
03436             StringBuffer buffer = new StringBuffer();
03437             for (Iterator i = SpecificationSaverLoader.getExceptions().iterator(); i.hasNext();) {
03438                 buffer.append(((Exception) i.next()).getMessage() + "\n");
03439             }
03440             JOptionPane.showMessageDialog(this, e.getMessage(), "Error", JOptionPane.ERROR_MESSAGE); 
03441         }
03442     }
03443 }
03444 /**
03445  * Comment
03446  */
03447 public void patternNameComboBox_ActionEvents() {
03448     if (inComboBoxChange) return;
03449     
03450     String s = (String) getPatternNameComboBox().getSelectedItem();
03451 
03452     BUI.property.getActivatedTemporalLogicProperty().setPatternName(s);
03453     
03454     Hashtable table = (Hashtable) PatternSaverLoader.getPatternTable().get(s);
03455 
03456     inComboBoxChange = true;
03457     try {
03458         getPatternScopeComboBox().removeAllItems();
03459     } catch (Exception e) {}
03460     
03461     TreeSet ts = new TreeSet();
03462     for (Enumeration e = table.keys(); e.hasMoreElements();) {
03463         ts.add(e.nextElement());
03464     }
03465 
03466     for (Iterator i = ts.iterator(); i.hasNext();) {
03467         getPatternScopeComboBox().addItem(i.next());
03468     }
03469     inComboBoxChange = false;
03470 
03471     s = BUI.property.getActivatedTemporalLogicProperty().getPatternScope();
03472     if (s == null)
03473         getPatternScopeComboBox().setSelectedIndex(0);
03474     else
03475         getPatternScopeComboBox().setSelectedItem(s);
03476 
03477     patternScopeComboBox_ActionEvents();
03478 }
03479 /**
03480  * Comment
03481  */
03482 public void patternScopeComboBox_ActionEvents() {
03483     if (inComboBoxChange) return;
03484     
03485     String s = (String) getPatternScopeComboBox().getSelectedItem();
03486 
03487     BUI.property.getActivatedTemporalLogicProperty().setPatternScope(s);
03488     
03489     Pattern p = (Pattern) ((Hashtable) PatternSaverLoader.getPatternTable().get(getPatternNameComboBox().getSelectedItem())).get(s);
03490 
03491     inComboBoxChange = true;
03492     try {
03493         getPropositionComboBox().removeAllItems();
03494     } catch (Exception e) {}
03495     
03496     for (Iterator i = p.getParameters().iterator(); i.hasNext();) {
03497         getPropositionComboBox().addItem(i.next());
03498     }
03499     inComboBoxChange = false;
03500 
03501     getPropositionComboBox().setSelectedIndex(0);
03502 
03503     propositionComboBox_ActionEvents();
03504 
03505     Hashtable parameters = new Hashtable();
03506     for (Iterator i = p.getParameters().iterator(); i.hasNext();) {
03507         Object parm = i.next();
03508         parameters.put(parm, parm);
03509     }
03510     String template = p.expandFormat(parameters);
03511     getExpandedPatternTextField().setText(template);
03512     getExpandedPatternTextField().setToolTipText(template);
03513 }
03514 /**
03515  * Comment
03516  */
03517 public void propositionComboBox_ActionEvents() {
03518     if (inComboBoxChange) return;
03519     String s = (String) getPropositionComboBox().getSelectedItem();
03520 
03521     TemporalLogicProperty tlp = BUI.property.getActivatedTemporalLogicProperty();
03522     String prop = tlp.getProposition(s);
03523 
03524     if (prop == null) {
03525         prop = "";
03526         tlp.putProposition(s, prop);
03527     }
03528     
03529     getPropositionTextField().setText(prop);
03530 }
03531 /**
03532  * Comment
03533  */
03534 public void propositionTextField_FocusLost() {
03535     String prop = (String) getPropositionComboBox().getSelectedItem();
03536     String s = getPropositionTextField().getText().trim();
03537     BUI.property.getActivatedTemporalLogicProperty().putProposition(prop, s);
03538 }
03539 /**
03540  * Comment
03541  */
03542 public void propositionTextField_KeyEvents() {
03543     String prop = (String) getPropositionComboBox().getSelectedItem();
03544     String s = getPropositionTextField().getText().trim();
03545     BUI.property.getActivatedTemporalLogicProperty().putProposition(prop, s);
03546 }
03547 /**
03548  * Comment
03549  */
03550 public void propositionTextField_MouseReleased(java.awt.event.MouseEvent mouseEvent) {
03551     if (mouseEvent.isMetaDown()) {
03552         getPropositionPopupMenu().show(getPropositionTextField(), mouseEvent.getX(), mouseEvent.getY());
03553     }
03554 }
03555 /**
03556  * Comment
03557  */
03558 public void quantificationTextArea_FocusLost(java.awt.event.FocusEvent focusEvent) {
03559     BUI.property.getActivatedTemporalLogicProperty().setQuantifier(getQuantificationTextArea().getText().trim());
03560 }
03561 /**
03562  * Comment
03563  */
03564 public void quantificationTextArea_KeyEvents() {
03565     BUI.property.getActivatedTemporalLogicProperty().setQuantifier(getQuantificationTextArea().getText().trim());
03566 }
03567 /**
03568  * Comment
03569  */
03570 public void removeAssertionButton_ActionEvents() {
03571     Object[] objects = getAssertionList().getSelectedValues();
03572     for (int i = 0; i < objects.length; i++) {
03573         BUI.property.removeAssertionProperty((AssertionProperty) objects[i]);
03574     }
03575     updateAssertionList();
03576     getRemoveAssertionButton().setEnabled(false);
03577     getActivateAssertionButton().setEnabled(false);
03578     getAddEnabledAssertionButton().setEnabled(BUI.property.getActivatedAssertionProperties().size() == 1);
03579     getRemoveEnabledAssertionButton().setEnabled(BUI.property.getActivatedAssertionProperties().size() == 1);
03580     getAssertionNameTextField().setEditable(false);
03581     getAssertionNameTextField().setText("");
03582 }
03583 /**
03584  * Comment
03585  */
03586 public void removeEnabledAssertionButton_ActionEvents() {
03587     Object[] objects = getEnabledAssertionList().getSelectedValues();
03588     AssertionProperty ap = (AssertionProperty) BUI.property.getActivatedAssertionProperties().iterator().next();
03589     for (int i = 0; i < objects.length; i++) {
03590         ap.removeAssertion((Name) objects[i]);
03591     }
03592     updateEnabledAssertionList();
03593     getRemoveEnabledAssertionButton().setEnabled(false);
03594 }
03595 /**
03596  * Comment
03597  */
03598 public void removeImportButton_ActionEvents() {
03599     Object[] objects = getImportList().getSelectedValues();
03600     for (int i = 0; i < objects.length; i++) {
03601         String s = (String) objects[i];
03602         if (s.startsWith("import predicate ")) {
03603             if (s.endsWith(".*")) {
03604                 BUI.property.removeImportedPredicateSet(new Name(s.substring("import predicate ".length(), s.length() - 2)));
03605             } else {
03606                 BUI.property.removeImportedPredicate(new Name(s.substring("import predicate ".length())));
03607             }
03608         } else if (s.startsWith("import assertion ")) {
03609             if (s.endsWith(".*")) {
03610                 BUI.property.removeImportedAssertionSet(new Name(s.substring("import assertion ".length(), s.length() - 2)));
03611             } else {
03612                 BUI.property.removeImportedAssertion(new Name(s.substring("import assertion ".length())));
03613             }
03614         } else {
03615             if (s.endsWith(".*")) {
03616                 BUI.property.removeImportedPackage(new Name(s.substring("import ".length(), s.length() - 2)));
03617             } else {
03618                 BUI.property.removeImportedType(new Name(s.substring("import ".length())));
03619             }
03620         }
03621     }
03622     updateImportList();
03623     getRemoveImportButton().setEnabled(false);
03624 }
03625 /**
03626  * Comment
03627  */
03628 public void removeTLButton_ActionEvents() {
03629     Object[] objects = getTLList().getSelectedValues();
03630     for (int i = 0; i < objects.length; i++) {
03631         BUI.property.removeTemporalLogicProperty((TemporalLogicProperty) objects[i]);
03632     }
03633     updateTLList();
03634     getRemoveTLButton().setEnabled(false);
03635     getActivateTLButton().setEnabled(false);
03636     getTLNameTextField().setEditable(false);
03637     getTLNameTextField().setText("");
03638 
03639     if (BUI.property.getActivatedTemporalLogicProperty() == null) {
03640         setTLEnabledAll(false);
03641     }
03642 }
03643 /**
03644  * 
03645  */
03646 public void reset() {
03647     BUI.property = new Property();
03648     setTitle("Property Manager<Untitled>");
03649     isClean = true;
03650 }
03651 /**
03652  * Comment
03653  */
03654 public void saveAsButton_ActionEvents() {
03655     FileChooser.chooser.setFileFilter(FileChooser.SPECIFICATION);
03656     FileChooser.chooser.setSelectedFile(new File(System.getProperty("user.dir")));
03657     FileChooser.chooser.setFileSelectionMode(FileChooser.FILES_ONLY);
03658     FileChooser.chooser.setSelectedFile(new File(""));
03659 
03660     if (FileChooser.chooser.showSaveDialog(this) == FileChooser.APPROVE_OPTION) {
03661         try {
03662             if (FileChooser.chooser.getSelectedFile().isDirectory()) {
03663                 JOptionPane.showMessageDialog(this, "Cannot choose a directory to save a specification file", "Information", JOptionPane.INFORMATION_MESSAGE);
03664                 return;
03665             }
03666             boolean f = true;
03667             if (FileChooser.chooser.getSelectedFile().exists()) {
03668                 String filename = FileChooser.chooser.getSelectedFile().getCanonicalPath();
03669                 f = JOptionPane.showConfirmDialog(this, "Overwrite " + filename + "?", "Confirm", JOptionPane.YES_NO_OPTION) == JOptionPane.YES_OPTION;
03670             }
03671             if (f) {
03672                 String filename = FileChooser.chooser.getSelectedFile().getCanonicalPath();
03673                 BUI.property.setFilename(filename);
03674                 saveButton_ActionEvents();
03675                 try {
03676                     BUI.sessions.getActiveSession().setSpecFilename(filename);
03677                     BUI.manager.updateProperty();
03678                 } catch (Exception ex) {}
03679                 setTitle("Property Manager<" + new File(filename).getName() + ">");
03680                 return;
03681             }
03682         } catch (Exception e) {
03683             JOptionPane.showMessageDialog(this, e.getMessage(), "Error", JOptionPane.ERROR_MESSAGE); 
03684         }
03685     }
03686 }
03687 /**
03688  * Comment
03689  */
03690 public void saveButton_ActionEvents() {
03691     if ("".equals(BUI.property.getFilename())) {
03692         saveAsButton_ActionEvents();
03693         return;
03694     }
03695 
03696     try {
03697         SpecificationSaverLoader.save(BUI.property);
03698     } catch (Exception e) {
03699         JOptionPane.showMessageDialog(this, e.getMessage(), "Error", JOptionPane.ERROR_MESSAGE);
03700     }
03701 }
03702 /**
03703  * 
03704  * @param c java.util.Collection
03705  */
03706 public void selectAssertionProperties(Collection c) {
03707     int indices[] = new int[c.size()];
03708     int j = 0;
03709     JList list = getAssertionList();
03710     for (Iterator i = c.iterator(); i.hasNext(); j++) {
03711         list.setSelectedValue(i.next(), false);
03712         indices[j] = list.getSelectedIndex();
03713     }
03714     list.setSelectedIndices(indices);
03715     activateAssertionButton_ActionEvents();
03716 }
03717 /**
03718  * 
03719  * @param tlp edu.ksu.cis.bandera.specification.datastructure.TemporalLogicProperty
03720  */
03721 public void selectTemporalLogicProperty(TemporalLogicProperty tlp) {
03722     getTLList().setSelectedValue(tlp, true);
03723     activateTLButton_ActionEvents();
03724 }
03725 /**
03726  * 
03727  * @param b boolean
03728  */
03729 private void setTLEnabledAll(boolean b) {
03730     getQuantificationTextArea().setBackground(Color.white);
03731     getQuantificationTextArea().setEditable(b);
03732     getPatternNameComboBox().setEnabled(b);
03733     getPatternScopeComboBox().setEnabled(b);
03734     getPropositionComboBox().setEnabled(b);
03735     getPropositionTextField().setEditable(b);
03736     getExpandButton().setEnabled(b);
03737 
03738     if (!b) {
03739         inComboBoxChange = true;
03740         getQuantificationTextArea().setText("");
03741     getQuantificationTextArea().setBackground(new Color(204, 204, 204));
03742         getPatternNameComboBox().removeAllItems();
03743         getPatternScopeComboBox().removeAllItems();
03744         getPropositionComboBox().removeAllItems();
03745         getPropositionComboBox().addItem(" ");
03746         getPropositionTextField().setText("");
03747         getExpandedPatternTextField().setText("");
03748         getShowMappingButton().setEnabled(false);
03749         getShowErrorButton().setEnabled(false);
03750         inComboBoxChange = false;
03751     }
03752 }
03753 /**
03754  * Comment
03755  */
03756 public void showErrorButton_ActionEvents() {
03757     TemporalLogicProperty tlp = BUI.property.getActivatedTemporalLogicProperty();
03758     if (tlp == null) return;
03759 
03760     StringBuffer buffer = new StringBuffer();
03761     for (Iterator i = tlp.getExceptions().iterator(); i.hasNext();) {
03762         buffer.append(i.next().toString() + "\n");
03763     }
03764     JOptionPane.showMessageDialog(this, buffer.toString(), "Error", JOptionPane.ERROR_MESSAGE);
03765 }
03766 /**
03767  * Comment
03768  */
03769 public void showMappingButton_ActionEvents() {
03770 }
03771 /**
03772  * Comment
03773  */
03774 public void tLList_ListSelectionEvents() {
03775     getRemoveTLButton().setEnabled(true);
03776     getActivateTLButton().setEnabled(getTLList().getSelectedValues().length == 1);
03777     TemporalLogicProperty tlp = (TemporalLogicProperty) getTLList().getSelectedValue();
03778     getTLNameTextField().setText(tlp.getName());
03779     getTLNameTextField().setEditable(BUI.property.isActivated(tlp));
03780 }
03781 /**
03782  * Comment
03783  */
03784 public void tLNameTextField_FocusLost() {
03785     String s = getTLNameTextField().getText().trim();
03786     if (!inNameFocusLost && !Util.isValidId(s)) {
03787         inNameFocusLost = true;
03788         do {
03789             s = JOptionPane.showInputDialog("Please input a valid temporal logic property name");
03790         } while ((s == null) || !Util.isValidId(s));
03791         getTLNameTextField().setText(s);
03792         TemporalLogicProperty tlp = BUI.property.getActivatedTemporalLogicProperty();
03793         tlp.setName(s);
03794         getTLList().repaint();
03795         inNameFocusLost = false;
03796     }
03797 }
03798 /**
03799  * Comment
03800  */
03801 public void tLNameTextField_KeyEvents() {
03802     TemporalLogicProperty tlp = BUI.property.getActivatedTemporalLogicProperty();
03803     tlp.setName(getTLNameTextField().getText().trim());
03804     getTLList().repaint();
03805 }
03806 /**
03807  * 
03808  */
03809 private void updateAssertionList() {
03810     getAssertionList().setValueIsAdjusting(true);
03811     getAssertionList().setListData(BUI.property.getAssertionProperties());
03812     getAssertionList().setValueIsAdjusting(false);
03813     getAssertionScrollPane().validate();
03814     getAssertionScrollPane().repaint();
03815 }
03816 /**
03817  * 
03818  */
03819 public void updateEnabledAssertionList() {
03820     HashSet hs = new HashSet();
03821     for (Iterator i = BUI.property.getActivatedAssertionProperties().iterator(); i.hasNext();) {
03822         hs.addAll(((AssertionProperty) i.next()).getAssertions());
03823     }
03824     getEnabledAssertionList().setValueIsAdjusting(true);
03825     getEnabledAssertionList().setListData(new Vector(hs));
03826     getEnabledAssertionList().setValueIsAdjusting(false);
03827     getEnabledAssertionScrollPane().validate();
03828     getEnabledAssertionScrollPane().repaint();
03829 }
03830 /**
03831  * 
03832  */
03833 private void updateImportList() {
03834     Vector v = new Vector();
03835 
03836     for (Iterator i = BUI.property.getImportedType().iterator(); i.hasNext();) {
03837         v.add("import " + i.next().toString());
03838     }
03839     for (Iterator i = BUI.property.getImportedPackage().iterator(); i.hasNext();) {
03840         v.add("import " + i.next().toString() + ".*");
03841     }
03842     for (Iterator i = BUI.property.getImportedAssertion().iterator(); i.hasNext();) {
03843         v.add("import assertion " + i.next().toString());
03844     }
03845     for (Iterator i = BUI.property.getImportedAssertionSet().iterator(); i.hasNext();) {
03846         v.add("import assertion " + i.next().toString() + ".*");
03847     }
03848     for (Iterator i = BUI.property.getImportedPredicate().iterator(); i.hasNext();) {
03849         v.add("import predicate " + i.next().toString());
03850     }
03851     for (Iterator i = BUI.property.getImportedPredicateSet().iterator(); i.hasNext();) {
03852         v.add("import predicate " + i.next().toString() + ".*");
03853     }
03854     getImportList().setValueIsAdjusting(true);
03855     getImportList().setListData(v);
03856     getImportList().setValueIsAdjusting(false);
03857     getImportScrollPane().validate();
03858     getImportScrollPane().repaint();
03859 }
03860 /**
03861  * 
03862  */
03863 public void updateLists() {
03864     updateImportList();
03865     updateAssertionList();
03866     updateEnabledAssertionList();
03867     updateTLList();
03868 }
03869 /**
03870  * 
03871  */
03872 private void updatePropertyManager() {
03873     updateLists();
03874 
03875     getRemoveImportButton().setEnabled(false);
03876 
03877     getAddTLButton().setEnabled(true);
03878     getRemoveTLButton().setEnabled(false);
03879     getActivateTLButton().setEnabled(false);
03880     getTLNameTextField().setEditable(false);
03881     getTLNameTextField().setText("");
03882     getTLDescriptionButton().setEnabled(false);
03883     getQuantificationTextArea().setBackground(new Color(204, 204, 204));
03884     getQuantificationTextArea().setEditable(false);
03885     getQuantificationTextArea().setText("");
03886     try {
03887         getPropositionComboBox().removeAllItems();
03888     } catch (Exception e) {}
03889     getPropositionComboBox().setEnabled(false);
03890     try {
03891         getPatternScopeComboBox().removeAllItems();
03892     } catch (Exception e) {}
03893     getPatternScopeComboBox().setEnabled(false);
03894     try {
03895         getPatternNameComboBox().removeAllItems();
03896     } catch (Exception e) {}
03897     getPatternNameComboBox().setEnabled(false);
03898     getPropositionTextField().setEditable(false);
03899     getPropositionTextField().setText("");
03900     getExpandButton().setEnabled(false);
03901     getExpandedPatternTextField().setEditable(false);
03902     getExpandedPatternTextField().setText("");
03903     getShowMappingButton().setEnabled(false);
03904     getShowErrorButton().setEnabled(false);
03905 
03906     getAddAssertionButton().setEnabled(true);
03907     getRemoveAssertionButton().setEnabled(false);
03908     getActivateAssertionButton().setEnabled(false);
03909     getAssertionNameTextField().setEditable(false);
03910     getAssertionNameTextField().setText("");
03911     getAssertionDescriptionButton().setEnabled(false);
03912     getAddEnabledAssertionButton().setEnabled(false);
03913     getRemoveEnabledAssertionButton().setEnabled(false);
03914 }
03915 /**
03916  * 
03917  */
03918 private void updateTLList() {
03919     getTLList().setValueIsAdjusting(true);
03920     getTLList().setListData(BUI.property.getTemporalLogicProperties());
03921     getTLList().setValueIsAdjusting(false);
03922     getTLScrollPane().validate();
03923     getTLScrollPane().repaint();
03924 }
03925 }