small change to getMax.java

examples/javawlp_edsl/src/nl/uu/impress/specchecker/examples/GetMax.java

@@ -25,6 +25,7 @@ public class GetMax {
 	
     /**
      * Teacher's specification of getMax.
+     * Note: this specification does not explicitly require a to be left unchanged.
      */
     public static void getMax_teacherspec(int[] a) {
         pre(a != null && a.length > 0);