});
}
{
// State Observers Part
stateObservers_panel = new SOPanel(easySm.updateProject().updateSO());
jTabbedPane_contentPane
.addTab("<html><u>S</u>tate Observers and Invariants</html>",
new ImageIcon(getClass().getClassLoader().getResource("easysm/icons/x22/soAndInv.png")),
stateObservers_panel,
"<html>Edit/Add/Delete state observers and their relative invariants<br/>"