Changeset 15963 in josm for trunk/tools/error_prone_core.jar

Timestamp:

2020-02-29T16:02:30+01:00 (6 years ago)

Author:

Don-vip

Message:

see #17516 - update to error-prone 2.3.5-SNAPSHOT plus following patches for Java 13 compatibility (​https://github.com/don-vip/error-prone/commits/jdk13):

• ​https://github.com/google/error-prone/pull/1107
• ​https://github.com/google/error-prone/pull/1110
• ​https://github.com/google/error-prone/pull/1111
• ​https://github.com/google/error-prone/pull/1398
• ​https://github.com/google/error-prone/pull/1439

File:

• trunk/tools/error_prone_core.jar (modified) ( previous)