1.1 --- a/samples/composition/src-test/api/ArithmeticaCompatibilityTest.java	Sat Jun 14 10:04:53 2008 +0200
     1.2 +++ b/samples/composition/src-test/api/ArithmeticaCompatibilityTest.java	Sat Jun 14 18:51:38 2008 +0200
     1.3 @@ -1,7 +1,6 @@
     1.4  package api;
     1.5  
     1.6  import junit.framework.*;
     1.7 -import java.util.*;
     1.8  
     1.9  public class ArithmeticaCompatibilityTest extends TestCase {
    1.10      public ArithmeticaCompatibilityTest(String name) {
    1.11 @@ -58,6 +57,7 @@
    1.12      
    1.13      // BEGIN: total.rewrite.tests
    1.14      public void testRandomCheck () throws Exception {
    1.15 +        if (Boolean.getBoolean("no.failures")) return;
    1.16          long seed = System.currentTimeMillis();
    1.17          try {
    1.18              CountingSubclass now = new CountingSubclass();
    1.19 @@ -113,6 +113,7 @@
    1.20      }
    1.21  
    1.22      public void testSimulateFailureOn1208120628821() throws Exception {
    1.23 +        if (Boolean.getBoolean("no.failures")) return;
    1.24          CountingSubclass now = new CountingSubclass();
    1.25          CountingOldSubclass old = new CountingOldSubclass();
    1.26