From cdc78bb41685aa66e82e334102fa2f794c1c2495 Mon Sep 17 00:00:00 2001
From: John Murison <John.Murison@ed.ac.uk>
Date: Tue, 20 Jul 2010 13:37:16 +0000
Subject: [PATCH] Increase of java.max.memory value to "768m".

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

diff --git a/build.xml b/build.xml
index 29cd3359..3a7e1428 100644
--- a/build.xml
+++ b/build.xml
@@ -188,7 +188,7 @@
         be more than some invocations require, but there's no harm in having a higher
         limit for all of them.
     -->
-	<property name="java.max.memory" value="640m"/>
+	<property name="java.max.memory" value="768m"/>
 	   
 	<!--
 		*************************************************