-- CPlusPlusDemangler cPlusPlusFilter = new CPlusPlusDemangler (wr);
-- PrintWriter writer = new PrintWriter (cPlusPlusFilter);
-- printRawStackTrace (writer);
-- writer.close ();
-- if (cPlusPlusFilter.written == 0) // The demangler has failed...
-- printRawStackTrace (wr);
+- CPlusPlusDemangler cPlusPlusFilter = new CPlusPlusDemangler (wr);
+- PrintWriter writer = new PrintWriter (cPlusPlusFilter);
+- printRawStackTrace (writer);
+- writer.close ();
+- if (cPlusPlusFilter.written == 0) // The demangler has failed...
+- printRawStackTrace (wr);