Bump the source and target versions used in javac.

I've just upgraded my build machine to Ubuntu 18.04, which has come
with a version of javac that complains about both -source 1.3 and
-target 1.3. Both are surely pretty out of date anyway, so the path of
least resistance is to just increase them to the earliest version that
javac doesn't currently complain is deprecated.

diff --git a/Recipe b/Recipe
index fc9bc1b51de7c26a2dd39030a2e0cc3fcbf0b04f..a17f4f3724766c80b002b614ddbee37ec279f4ab 100644 (file)
--- a/Recipe
+++ b/Recipe
@@ -139,7 +139,7 @@ org:
        echo "Main-Class: PuzzleApplet" >applet.manifest
 
 PuzzleApplet.class: PuzzleApplet.java org
-       javac -source 1.3 -target 1.3 PuzzleApplet.java
+       javac -source 1.7 -target 1.7 PuzzleApplet.java
 
 %.jar: %.class PuzzleApplet.class org
        mv $< PuzzleEngine.class