From c7939e318b842e5eb2f6371f3207972605eb0f87 Mon Sep 17 00:00:00 2001
From: Lubomir Rintel <lkundrak@v3.sk>
Date: Mon, 31 May 2010 10:36:23 +0200
Subject: [PATCH 2/2] We include jflex differently.

---
 build.xml |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/build.xml b/build.xml
index 7029a28..af4c89c 100644
--- a/build.xml
+++ b/build.xml
@@ -136,10 +136,12 @@ Use is subject to license terms.
         <pathelement path="lib/pmd/lib/"/>
     </path>
 
+    <!-- it's called jflex.jar, and we add it to classpath by ourselves
     <available file="JFlex.jar" type="file" property="JFlex.present">
         <filepath refid="lib.search.path"/>
     </available>
     <fail unless="JFlex.present" message="Please download JFlex (http://jflex.de/) and put JFlex.jar it into ./lib directory (or in ant classpath)."/>
+    -->
     
     <taskdef classname="JFlex.anttask.JFlexTask" name="jflex" classpath="lib/JFlex.jar;../lib/JFlex.jar"/>    
     <target name="jflex">
-- 
1.7.0.1