Problematic diagnostics commented out

The commented code fails on CI server

compiler/tests/org/jetbrains/jet/codegen/TestlibTest.java

@@ -20,12 +20,11 @@ import com.intellij.openapi.vfs.local.CoreLocalFileSystem;
 import gnu.trove.THashSet;
 import junit.framework.Test;
 import junit.framework.TestCase;
-import junit.framework.TestResult;
 import junit.framework.TestSuite;
-import org.jetbrains.jet.codegen.forTestCompile.ForTestCompileRuntime;
+import org.jetbrains.jet.cli.common.messages.MessageCollector;
 import org.jetbrains.jet.cli.jvm.compiler.K2JVMCompileEnvironmentConfiguration;
 import org.jetbrains.jet.cli.jvm.compiler.KotlinToJVMBytecodeCompiler;
-import org.jetbrains.jet.cli.common.messages.MessageCollector;
+import org.jetbrains.jet.codegen.forTestCompile.ForTestCompileRuntime;
 import org.jetbrains.jet.lang.descriptors.ClassDescriptor;
 import org.jetbrains.jet.lang.psi.JetClass;
 import org.jetbrains.jet.lang.psi.JetDeclaration;
@@ -127,19 +126,19 @@ public class TestlibTest extends CodegenTestCase {
                                                 suite.addTestSuite(aClass);
                                             }
                                         }
-                                        catch (final VerifyError e) {
-                                            suite.addTest(new TestCase(aClass.getName()) {
-                                                @Override
-                                                public int countTestCases() {
-                                                    return 1;
-                                                }
-
-                                                @Override
-                                                public void run(TestResult result) {
-                                                    result.addError(this, new RuntimeException(e));
-                                                }
-                                            });
-                                        }
+                                        //catch (final VerifyError e) {
+                                        //    suite.addTest(new TestCase(aClass.getName()) {
+                                        //        @Override
+                                        //        public int countTestCases() {
+                                        //            return 1;
+                                        //        }
+                                        //
+                                        //        @Override
+                                        //        public void run(TestResult result) {
+                                        //            result.addError(this, new RuntimeException(e));
+                                        //        }
+                                        //    });
+                                        //}
                                         catch (NoSuchMethodException e) {
                                         }
                                     }