diff -up josm-0/build.xml.error_prone josm-0/build.xml
--- josm-0/build.xml.error_prone 2018-03-26 09:16:19.814914570 +0200
+++ josm-0/build.xml 2018-03-26 09:18:07.680603915 +0200
@@ -51,10 +51,7 @@
<condition property="isJava11">
<matches string="${ant.java.version}" pattern="1[1-9]" />
</condition>
- <!-- Disable error_prone on Java 10+, see https://github.com/google/error-prone/issues/860 -->
- <condition property="javac.compiler" value="modern" else="com.google.errorprone.ErrorProneAntCompilerAdapter">
- <isset property="isJava10"/>
- </condition>
+ <property name="javac.compiler" value="modern" />
<!-- Disable jacoco on Java 11+, see https://github.com/jacoco/jacoco/issues/629 -->
<condition property="coverageByDefault">
<not>