diff --git a/pmd-jdeveloper1013/etc/build.xml b/pmd-jdeveloper1013/etc/build.xml
index 1a7e9f5520..d5825965ab 100644
--- a/pmd-jdeveloper1013/etc/build.xml
+++ b/pmd-jdeveloper1013/etc/build.xml
@@ -5,7 +5,6 @@
 	<property name="etc" value="etc/"/>
 	<property name="pmdjar" value="pmd-3.2.jar"/>
 	<property name="pluginversion" value="1.6"/>
-<!--	<property name="jdeveloper.install.dir" value="/home/tom/jdev9052/jdev/lib/ext/${ant.project.name}-${pluginversion}"/> -->
 	<property name="jdeveloper.install.dir" value="c:/data/jdev1013/jdev/lib/ext/${ant.project.name}-${pluginversion}"/>