printType for catch types

git-svn-id: https://svn.code.sf.net/p/jode/code/trunk@694 379699f6-c40d-0410-875b-85095c16579e

jode/jode/flow/CatchBlock.java

@@ -113,8 +113,9 @@ public class CatchBlock extends StructuredBlock {
     public void dumpInstruction(jode.decompiler.TabbedPrintWriter writer) 
         throws java.io.IOException {
 	writer.closeBraceContinue();
-        writer.print("catch ("+exceptionType.toString() + " "
+        writer.print("catch (");
-		     + exceptionLocal.getName().toString()+ ")");
+	writer.printType(exceptionType);
+	writer.print(" " + exceptionLocal.getName() + ")");
 	writer.openBrace();
         writer.tab();
         catchBlock.dumpSource(writer);