}
return "<UNKNOWN CONSTANT>";
}
private String getCategoryCode() {
CategorizedProblem categorized= (CategorizedProblem) fProblem;
int categoryID= categorized.getCategoryID();
StringBuffer buf= new StringBuffer();
switch (categoryID) {
case CategorizedProblem.CAT_UNSPECIFIED:
buf.append("Unspecified");