Changeset 15963 in josm for trunk/tools

Timestamp:

2020-02-29T16:02:30+01:00 (5 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

Location:

trunk/tools

Files:

• auto-value-annotations.jar (added)
• error_prone_core.jar (modified) ( previous)