source compatibility set to 1.3 for the javac task to prevent spurious "unchecked...

diff --git a/build.xml b/build.xml
index 2b7d3be..326228c 100755 (executable)
--- a/build.xml
+++ b/build.xml
@@ -148,7 +148,7 @@
   <target name="compile" depends="prepare-compilation" unless="up.to.date"
           description="Creates the jars needed for a mir deployment">
           
-    <javac destdir="${build.classes}" debug="true">
+    <javac destdir="${build.classes}" debug="true" deprecation="off" source="1.3">
       <src path="source"/>
       <src path="etc/extrasource"/>
       <classpath refid="project.classpath"/>