public static void update() { // clear the new label text field StateLabelManager.stateLabelTextField.setText(""); // refresh state group array StateLabelManager.availableStateGroups = ApplicationSettings.getApplicationView().getCurrentPetriNetView().getStateGroups(); // refresh dropdown menu StateLabelManager.populateStateLabelDropdown(); // refresh the list of state group names StateLabelManager.populateLists(); }