Index: default.properties
===================================================================
--- default.properties (revision 1224919)
+++ default.properties (working copy)
@@ -36,7 +36,7 @@
javac.debug=on
javac.optimize=on
-javac.deprecation=off
+javac.deprecation=on
javac.version= 1.6
runtime.dir=./runtime
Index: build.xml
===================================================================
--- build.xml (revision 1224919)
+++ build.xml (working copy)
@@ -318,6 +318,7 @@
target="${javac.version}"
source="${javac.version}"
deprecation="${javac.deprecation}">
+