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);