History of debian / patches / 01-java11-compatibility.patch @766de4e03bc1dabdecf5483fedd2beabba6a9d6f

• Fixed a build failure with Java 11 Emmanuel Bourg 7 years ago