512513514515516517518519520521522
{ public JControlModel getJControlModel() { if (jControlModel == null) { jControlModel = new JControlModel(); } return jControlModel; } };