Changeset 12243 in josm for trunk/tools

Timestamp:

2017-05-23T23:13:58+02:00 (9 years ago)

Author:

Don-vip

Message:

see #11924 - update error-prone, manually built from ​https://github.com/google/error-prone/compare/sync-master-05/10/2017 for better java 9 support, see ​https://github.com/google/error-prone/issues/448

File:

• trunk/tools/error_prone_ant.jar (moved) (moved from trunk/tools/error_prone_ant-2.0.19.jar )