<!--
-$Id: properties.xml,v 1.14 2004/12/13 14:46:53 maxcooper Exp $
-$Revision: 1.14 $
-$Date: 2004/12/13 14:46:53 $
+$Id: properties.xml,v 1.15 2005/02/22 10:55:44 maxcooper Exp $
+$Revision: 1.15 $
+$Date: 2005/02/22 10:55:44 $
-->
<!--
<!-- Should Java compilations set the optimize compiler option? -->
<property name="compile.optimize" value="false"/>
+<!-- What version of Java are we targeting? -->
+<property name="securityfilter.java.version" value="1.4"/>
+
<property name="conf.share.dir" location="conf/share"/>
<property name="web.dir" location="web"/>