From 7ec7fe7e4d9f30d52781262282e64d774b3c5ff9 Mon Sep 17 00:00:00 2001
From: Joel Dice <joel.dice@gmail.com>
Date: Sat, 18 Jan 2014 19:45:10 -0700
Subject: [PATCH] preserve ThreadGroup.threadTerminated in openjdk.pro

We call this cleanup method from within the VM for every thread, so we
need to preserve it.
---
 openjdk.pro | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/openjdk.pro b/openjdk.pro
index 4ad548281d..d3560dc7bb 100644
--- a/openjdk.pro
+++ b/openjdk.pro
@@ -9,6 +9,10 @@
    public void run();
  }
 
+-keepclassmembers class java.lang.ThreadGroup {
+   void threadTerminated(java.lang.Thread);
+ }
+
 -keep class java.lang.System {
    private static void initializeSystemClass();
    public static void setProperties(java.util.Properties);