### Eclipse Workspace Patch 1.0
#P org.eclipse.jdt.core
Index: compiler/org/eclipse/jdt/internal/compiler/problem/ProblemReporter.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/problem/ProblemReporter.java,v
retrieving revision 1.414
diff -u -r1.414 ProblemReporter.java
--- compiler/org/eclipse/jdt/internal/compiler/problem/ProblemReporter.java	19 Jul 2010 23:38:44 -0000	1.414
+++ compiler/org/eclipse/jdt/internal/compiler/problem/ProblemReporter.java	20 Jul 2010 02:25:49 -0000
@@ -1081,11 +1081,10 @@
 		System.err.println(stringWriter.toString());
 		stringWriter = new StringWriter();
 		writer = new PrintWriter(stringWriter);
-	} else {
-		writer.print(abortException.exception.getClass().getName());
-		writer.print(':');
-		writer.print(abortException.exception.getMessage());
 	}
+	writer.print(abortException.exception.getClass().getName());
+	writer.print(':');
+	writer.print(abortException.exception.getMessage());
 	String exceptionTrace = stringWriter.toString();
 	String[] arguments = new String[]{ fileName, exceptionTrace };
 	this.handle(