From 338e5c19081709aafb69f3c929a3889a80aee4f0 Mon Sep 17 00:00:00 2001
From: Romain Kuntz <rkuntz@java.net>
Date: Tue, 18 Mar 2008 04:53:44 +0000
Subject: [PATCH] Commited Pin's patch to fix the "java.lang.OutOfMemoryError:
 java heap space" error that may appear on some systems at compilation time.

---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 444eea172..90359c9dc 100644
--- a/build.xml
+++ b/build.xml
@@ -205,7 +205,7 @@
         <!--internal-target- compiles the entire project source tree -->
         <javac classpathref="compile.class.path" debug="true"
             deprecation="true" destdir="${dest}" nowarn="false"
-            source="1.5" target="1.5">
+            source="1.5" target="1.5" memoryMaximumSize="400M" fork="true">
             <src path="${src}"/>
             <src path="${src2}"/>
             <include name="**/*.java" />