}
});
}
{
// State Table Part
stats_panel = new ST_panel(easySm.updateProject().updateST(), easySm.updateProject().updateSO());
jTabbedPane_contentPane.addTab("<html>S<u>t</u>ate Table", new ImageIcon(getClass()
.getClassLoader().getResource("easysm/icons/x22/stateTable.png")), stats_panel,
"<html>Edit/Define/Delete the states of the State Machine<br/>"
+ "The selected checkbox means the <b>State Table</b> "
+ "Part is <b>Valid</b> and <b>Not Valid</b> otherwise.<br/>"