From 52ca21c92a91c689e8e74210ce57a038e97ea212 Mon Sep 17 00:00:00 2001
From: Jonathan Gibbons <jjg@openjdk.org>
Date: Tue, 4 Sep 2012 12:53:50 -0700
Subject: [PATCH] 7195519: OutOfMemoryError in docs build after 7151010

Reviewed-by: darcy
---
 jdk/make/docs/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jdk/make/docs/Makefile b/jdk/make/docs/Makefile
index fcb461ae8c0..e181b66a4ed 100644
--- a/jdk/make/docs/Makefile
+++ b/jdk/make/docs/Makefile
@@ -73,7 +73,7 @@ ifeq ($(ARCH_DATA_MODEL),64)
 else ifeq ($(ARCH),universal)
   MAX_VM_MEMORY = 1024
 else
-  MAX_VM_MEMORY = 612
+  MAX_VM_MEMORY = 768
 endif
 
 # List of all possible directories for javadoc to look for sources