Changeset 14222 in josm for trunk/src/org/openstreetmap/josm/data

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

File:

• trunk/src/org/openstreetmap/josm/data/osm/DataSet.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/data/osm/DataSet.java

@@ -957 +957 @@
             if (!eventsToFire.isEmpty()) {
                 lock.readLock().lock();
-                lock.writeLock().unlock();
                 try {
+                    lock.writeLock().unlock();
                     if (eventsToFire.size() < MAX_SINGLE_EVENTS) {
                         for (AbstractDatasetChangedEvent event : eventsToFire) {