Changeset 14222 in josm for trunk/tools

Timestamp:

2018-09-04T23:35:01+02:00 (6 years ago)

Author:

Don-vip

Message:

see #16498 - simplify build.xml and update to latest snapshot of error_prone, patched for Java 12 compatibility

See ​https://github.com/google/error-prone/pull/1107
See ​https://github.com/google/error-prone/commit/3f2ca43e53266e84e17e4fb3f34888be5cb29293#commitcomment-30382503

Location:

trunk/tools

Files:

• error_prone_ant.jar (deleted)
• error_prone_core.jar (added)
• error_prone_javac.jar (added)