From 12602464ab16bd08856f5858476a6c59faaba640 Mon Sep 17 00:00:00 2001 From: Kevin Brooks Date: Thu, 31 Oct 2019 17:25:55 -0400 Subject: [PATCH] eclipse-jdt update for 4.13 (#480) --- _ext/eclipse-jdt/gradle.properties | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/_ext/eclipse-jdt/gradle.properties b/_ext/eclipse-jdt/gradle.properties index 48116f43ec..1c8d0c21da 100644 --- 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.12.0 +ext_version=4.13.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.12.0,4.0.0[ -VER_SPOTLESS_ECLISPE_BASE=[3.2.0,4.0.0[ +VER_ECLIPSE_JDT_CORE=[3.19.0,4.0.0[ +VER_SPOTLESS_ECLISPE_BASE=[3.3.0,4.0.0[