private void updateNames() {
coursenames = registry().getSortedCourseNames();
categorynames = registry().getSortedCategoryNames();
}
private void updateCourseList() {
poolList.setModel(new AbstractListModel() {
public int getSize() {
return coursenames.size();
}
public Object getElementAt(int index) {
return coursenames.get(index);