Changeset 14784 in josm for trunk/tools

Timestamp:

2019-02-12T01:02:57+01:00 (5 years ago)

Author:

Don-vip

Message:

see #17516 - upgrade to error_prone 2.3.3-SNAPSHOT + patch for Java 13 compatibility

See ​https://github.com/google/error-prone/issues/1106#issuecomment-460800327

Location:

trunk/tools

Files:

• error_prone_core.jar (modified) ( previous)
• spotbugs/jFormatString-3.0.0.jar (added)