From 5141e5b3e779573f907215a21d4a4731adb9c89b Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Mon, 14 May 2018 18:18:28 +0100
Subject: [PATCH] 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.
---
 Recipe | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Recipe b/Recipe
index fc9bc1b..a17f4f3 100644
--- 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