for (int i = 0; i < data.length; i++)
probFilterGenre.append(data[i], null);
}
void probStartSolving() {
Filter probFilter = new Filter();
// set problem filter
int i;
// genre filter
i = probFilterGenre.getSelectedIndex();
probFilter.genre = i <= 0 ? null : probFilterGenre.getString(i);