From 41b09d5e62035778feb19aa8b88c982a533028dc Mon Sep 17 00:00:00 2001
From: Diomidis Spinellis <dds@aueb.gr>
Date: Tue, 17 Apr 2012 10:00:21 +0000
Subject: [PATCH] Upgrade links to JDK 7

---
 build.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.xml b/build.xml
index 8ff24fb..d08c9da 100644
--- a/build.xml
+++ b/build.xml
@@ -92,8 +92,8 @@ class Version { public static String VERSION = "${VERSION}";}
 			<param name="-postfixpackage"/>
 			<param name="-nodefontsize" value="9"/>
 			<param name="-nodefontpackagesize" value="7"/>
-			<param name="-link" value="http://java.sun.com/j2se/1.5.0/docs/guide/javadoc/doclet/spec"/>
-			<param name="-link" value="http://java.sun.com/j2se/1.5/docs/api"/>
+			<param name="-link" value="http://docs.oracle.com/javase/7/docs/jdk/api/javadoc/doclet/"/>
+			<param name="-link" value="http://download.oracle.com/javase/7/docs/api/"/>
 		</doclet>
 	</javadoc>
 </target>