Changeset 14784 in josm

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

Files:

• build.xml (modified) (view diffs)
• src/org/openstreetmap/josm/actions/ToggleAction.java (modified) (view diffs)
• src/org/openstreetmap/josm/data/osm/visitor/paint/PaintColors.java (modified) (view diffs)
• tools/error_prone_core.jar (modified) (view diffs)
• tools/spotbugs/jFormatString-3.0.0.jar (added)