if (!probFilterPath.isSelected(i))
probFilter.excludePaths[j++] = probFilterPath.getString(i);
} else
probFilter.excludePaths = null;
ProblemEnumeration e;
try {
e = pdb.enumerateRecords(probFilter);
} catch (Exception x) {
probError(T._("Unable to enumerate records!"), x, null);
return;
}
if (e == null || !e.hasMoreElements()) {
Alert alert = new Alert(T._("Problem solving"),
T._("Empty set, try widening criteria."),
null, AlertType.INFO);
display.setCurrent(alert);
} else