--noverify option

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

jode/jode/decompiler/CodeAnalyzer.java

@@ -53,13 +53,16 @@ public class CodeAnalyzer implements Analyzer, Scope {
         method = ma;
 	imports = i;
 	code = minfo.getBytecode();
+
+	if ((Decompiler.options & Decompiler.OPTION_VERIFY) != 0) {
 	    CodeVerifier verifier = new CodeVerifier(getClazz(), minfo, code);
 	    try {
 		verifier.verify();
 	    } catch (VerifyException ex) {
-	    ex.printStackTrace();
+		ex.printStackTrace(GlobalOptions.err);
 		throw new jode.AssertError("Verification error");
 	    }
+	}
 	
 	if ((Decompiler.options & Decompiler.OPTION_LVT) != 0) {
 	    LocalVariableInfo[] localvars = code.getLocalVariableTable();