Changeset 14034 in josm

Timestamp:

2018-07-16T01:20:27+02:00 (7 years ago)

Author:

Don-vip

Message:

see #16047 - Patch Groovy 2.5.1 to add proper Java 11 compatibility:

• cherry-pick ​https://github.com/apache/groovy/pull/768/commits/a86e2527d5577c606a579c0fca12b0a344ddc770
• see ​https://issues.apache.org/jira/browse/GROOVY-8688
• see ​https://github.com/don-vip/groovy/tree/2_5_1_jdk11

File:

• trunk/tools/groovy/groovy-2.5.1.jar (modified) ( previous)