@@ -84,10 +84,10 @@ private void reportProblem(IResource resource, String message,
8484 }
8585
8686 // Only display stack if it contains multiple locations
87- String stack_display = "" ;
87+ String message_display = message ;
8888 int locationCount = (stack .length () - stack .replace ("->" , "" ).length ())/2 ;
8989 if (locationCount > 0 ) {
90- stack_display = stack ;
90+ message_display = message + " " + stack ;
9191 }
9292
9393 // see
@@ -96,14 +96,14 @@ private void reportProblem(IResource resource, String message,
9696 if (lineNumber != 0 ) {
9797 MarkerUtilities .setLineNumber (attributes , lineNumber );
9898 }
99- MarkerUtilities .setMessage (attributes , message + " " + stack_display );
99+ MarkerUtilities .setMessage (attributes , message_display );
100100 attributes .put (IMarker .SEVERITY , severity );
101101 // the following attributes are only used for the quick fixes
102102 attributes .put (ATTRIBUTE_ID , id );
103103 if (file != null ) {
104104 attributes .put (ATTRIBUTE_FILE , file .toString ());
105105 }
106- attributes .put (ATTRIBUTE_STACK , stack_display );
106+ attributes .put (ATTRIBUTE_STACK , stack );
107107 attributes .put (ATTRIBUTE_ORIGINAL_LINE_NUMBER , originalLineNumber );
108108 MarkerUtilities .createMarker (resource , attributes , CHECKER_MARKER_TYPE );
109109 }
0 commit comments