Revert "eclipse-jdt update for 4.13 (#480)"

This reverts commit 1260246.
diffplug · Oct 31, 2019 · d4d01bf · d4d01bf
1 parent ce6662f
commit d4d01bf
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/_ext/eclipse-jdt/gradle.properties b/_ext/eclipse-jdt/gradle.properties
@@ -1,6 +1,6 @@
 # Mayor/Minor versions correspond to the minimum Eclipse version supported/tested.
 # Patch version is incremented for backward compatible patches of this library.
-ext_version=4.13.0
+ext_version=4.12.0
 ext_artifactId=spotless-eclipse-jdt
 ext_description=Eclipse's JDT formatter bundled for Spotless
 
@@ -11,5 +11,5 @@ ext_group=com.diffplug.spotless
 ext_VER_JAVA=1.8
 
 # Compile
-VER_ECLIPSE_JDT_CORE=[3.19.0,4.0.0[
-VER_SPOTLESS_ECLISPE_BASE=[3.3.0,4.0.0[
+VER_ECLIPSE_JDT_CORE=[3.12.0,4.0.0[
+VER_SPOTLESS_ECLISPE_BASE=[3.2.0,4.0.0[