Index: build.xml
===================================================================
--- build.xml	(revision 2585)
+++ build.xml	(working copy)
@@ -30,6 +30,7 @@
     <pathelement path="../tools/lib/j2ee.jar"/>
     <pathelement path="../tools/lib/jnlp.jar"/>
     <pathelement path="../tools/lib/servlet-api.jar" />
+    <pathelement path="../libero/libero.jar"/>
   </path>