More test fixes

Author: davidcok

tutorial/T_show6.check

@@ -2,5 +2,5 @@
 R=T_show6
 tmpfile=$(mktemp)
 C="openjml --esc --subexpressions T_show1.java"
-bash -c "$C" | grep -v "Show statement" > $tmpfile
-grep -v "Show statement" < $R.out | diff - $tmpfile && rm -rf $tmpfile $R.out.actual
+bash -c "$C" | grep -v "Show statement" | grep -v "VALUE" > $tmpfile
+grep -v "Show statement" < $R.out | grep -v "VALUE" | diff - $tmpfile && rm -rf $tmpfile $R.out.actual