From 17b8ba7069f1e3471f85a57f70f2d9454742ef0f Mon Sep 17 00:00:00 2001
From: Hans Joachim Desserud <github@desserud.org>
Date: Sat, 12 Sep 2015 12:40:01 +0200
Subject: [PATCH] Upgrade jmockit to 1.19

---
 pom.xml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/pom.xml b/pom.xml
index e83b0b7e0..22ec93ef5 100644
--- a/pom.xml
+++ b/pom.xml
@@ -605,9 +605,7 @@ Copyright (c) 2012 - Jeremy Long
             <dependency>
                 <groupId>org.jmockit</groupId>
                 <artifactId>jmockit</artifactId>
-                <!-- Upgrading to 1.17 introduces build failures when building
-                with OpenJDK. -->
-                <version>1.16</version>
+                <version>1.19</version>
                 <scope>test</scope>
             </dependency>
             <dependency>