Replaced (*) with UTF-8 bullet character

CupPlugin/src/de/tum/in/www2/cupplugin/editors/CupEditorErrorReporter.java

@@ -139,7 +139,7 @@ public class CupEditorErrorReporter implements IErrorReporter {
 		msg.errorType = errorType;
 		msg.source = source;
 		msg.errorCode = errorCode;
-		msg.message = message;
+		msg.message = message.replace("(*)", "\u2022");
 		msg.start = start;
 		msg.end = end;
 		lst.add(msg);

CupPlugin/src/de/tum/in/www2/cupplugin/views/CupConflictsView.java

@@ -230,7 +230,7 @@ public class CupConflictsView extends FailableView implements ICupEditorPageVisi
 					links.add(conflict1Ast.getRange());
 				}
 				try {
-					builder.append(rrc.getConflictItem1().to_simple_string());
+					builder.append(prettyString(rrc.getConflictItem1()));
 				} catch (internal_error e1) {
 					e1.printStackTrace();
 				}
@@ -247,7 +247,7 @@ public class CupConflictsView extends FailableView implements ICupEditorPageVisi
 					links.add(conflict2Ast.getRange());
 				}
 				try {
-					builder.append(rrc.getConflictItem2().to_simple_string());
+					builder.append(prettyString(rrc.getConflictItem2()));
 				} catch (internal_error e1) {
 					e1.printStackTrace();
 				}
@@ -286,7 +286,7 @@ public class CupConflictsView extends FailableView implements ICupEditorPageVisi
 					links.add(conflict1Ast.getRange());
 				}
 				try {
-					builder.append(src.getConflictItem1().to_simple_string());
+					builder.append(prettyString(src.getConflictItem1()));
 				} catch (internal_error e1) {
 					e1.printStackTrace();
 				}
@@ -304,7 +304,7 @@ public class CupConflictsView extends FailableView implements ICupEditorPageVisi
 						links.add(conflict2ItemAst.getRange());
 					}
 					try {
-						builder.append(item.to_simple_string());
+						builder.append(prettyString(item));
 					} catch (internal_error e1) {
 						e1.printStackTrace();
 					}
@@ -325,7 +325,11 @@ public class CupConflictsView extends FailableView implements ICupEditorPageVisi
 			}
 
 		}
-
+		
+		// replace (*) generated by CUP with BULLET U+2022 •
+		private String prettyString(lalr_item item) throws internal_error {
+			return item.to_simple_string().replace("(*)", "\u2022");
+		}
 	}
 
 	public CupConflictsView(Composite realParent, Jumper jumper,