From 9b9bc555880b9e2ca4cb492054bebdb1c4cce1ed Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Fri, 3 Jan 2020 12:20:29 +0100
Subject: [PATCH] java: increase cap quota (needded on sel4)

---
 run/java.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run/java.run b/run/java.run
index 2c08a01..a898f1a 100644
--- a/run/java.run
+++ b/run/java.run
@@ -34,7 +34,7 @@ set config {
 		<resource name="RAM" quantum="2M" />
 		<provides> <service name="Timer" /> </provides>
 	</start>
-	<start name="java" caps="300">
+	<start name="java" caps="500">
 		<resource name="RAM" quantum="96M" />
 		<route>
 			<service name="ROM" label="zip.lib.so">