--- Ex.11.java	2007-05-29 20:16:06.000000000 +0100
+++ Ex.12.java	2007-05-29 20:16:28.000000000 +0100
@@ -29,7 +29,6 @@
     //@ assert (\forall int i; 0 <= i && i < pubs.length ==> r[i] >= 0);
     int s = 0;
     for (i = 0; i < r.length; ++i) s+=r[i];
-    System.out.println("" + s + " bottles of beer on the wall");
     //@ assert r.length == pubs.length;
     //@ assert s >= 0;
     return i + 1 + s;