void updateStateVariableList(TreeNode parentNode, Service service) {
ServiceStateTable stateList = service.getServiceStateTable();
int nStateVariables = stateList.size();
for (int n = 0; n < nStateVariables; n++) {
StateVariable state = stateList.getStateVariable(n);
String stateName = state.getName();
TreeNode stateNode = new TreeNode(stateName);
stateNode.setUserData(state);
parentNode.add(stateNode);
}
}
