moving java examples to a new package tree; copying java EDSL to a new package tree.

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

...src/nl/uu/impress/specchecker/examples/GetMaxStudent.java

...l/src/nl/uu/impress/specchecker/examples/GetMinIndex.java

...edsl/src/nl/uu/impress/specchecker/examples/IsSorted.java

...c/nl/uu/impress/specchecker/examples/IsSortedStudent.java

...wlp_edsl/src/nl/uu/impress/specchecker/examples/Main.java

...wlp_edsl/src/nl/uu/impress/specchecker/examples/Sort.java

...wlp_edsl/src/nl/uu/impress/specchecker/examples/Swap.java

...l/src/nl/uu/impress/specchecker/examples/SwapStudent.java

impress_edsl/src/nl/uu/impress/Utils.java

impress_edsl/src/nl/uu/impress/specchecker/EDSL.java

impress_edsl/src/nl/uu/impress/specchecker/Utils.java