locationPanel.reconfigure(solver, solver.getLocations().getNames()); timePanel.reconfigure(solver, solver.getTimes().getNames());
  protected void reconfigure(int topicNumber, int personNumber, int roleNumber,                             int sessionNumber)  {    topicPanel.hideEditor();    personPanel.hideEditor();    rolePanel.hideEditor();    solutionPanel.hideEditor();        solver = new Solver(topicNumber, personNumber, roleNumber, sessionNumber);        // reconfigure the panels    topicPanel.reconfigure(solver, solver.getTopics().getNames());    personPanel.reconfigure(solver, solver.getPersons().getNames());    rolePanel.reconfigure(solver, solver.getRoles().getNames());    solutionPanel.reconfigure(solver, solver.getSolutionNames());    configInfo.setText("Configured for " + topicNumber + " topics, "                       + personNumber + " persons, " + roleNumber + " roles and "                       + sessionNumber + " sessions.");  }