external/hsqldb/patches/hsqldb-runFinalizersOnExit.patch

   1 --- misc/hsqldb/src/org/hsqldb/lib/java/JavaSystem.java 2008-03-16 23:51:35.000000000 +0100
   2 +++ misc/build/hsqldb/src/org/hsqldb/lib/java/JavaSystem.java   2018-07-12 11:46:57.997837180 +0200
   3 @@ -160,8 +160,9 @@
   4      public static void runFinalizers() {
   5
   6  //#ifdef JAVA2FULL
   7 -        System.runFinalizersOnExit(true);
   8 -
   9 +        try {
  10 +            System.class.getMethod("runFinalizersOnExit", boolean.class).invoke(null, true);
  11 +        } catch (Exception e) {}
  12  //#endif
  13      }
  14