diff --git a/dev-tools/src/main/resources/ant/integration-tests.xml b/dev-tools/src/main/resources/ant/integration-tests.xml
index 35e94031bbf..82f37497425 100644
--- a/dev-tools/src/main/resources/ant/integration-tests.xml
+++ b/dev-tools/src/main/resources/ant/integration-tests.xml
@@ -14,23 +14,29 @@
+ -Des.script.indexed=on -Des.pidfile=${integ.pidfile}"/>
+
-
+
+
+
+
+
+
-
+
@@ -67,7 +73,8 @@
Starting up external cluster...
-
+
@@ -94,11 +101,13 @@
Installing plugin ${project.artifactId}...
-
+
Starting up external cluster...
-
+
diff --git a/dev-tools/src/main/resources/license-check/check_license_and_sha.pl b/dev-tools/src/main/resources/license-check/check_license_and_sha.pl
index 40e78d1debd..9a865afde53 100755
--- a/dev-tools/src/main/resources/license-check/check_license_and_sha.pl
+++ b/dev-tools/src/main/resources/license-check/check_license_and_sha.pl
@@ -41,7 +41,7 @@ sub check_shas_and_licenses {
}
unless ( $old_sha eq $new{$jar} ) {
- say STDERR "$jar: SHA has changed";
+ say STDERR "$jar: SHA has changed, expected $old_sha but found $new{$jar}";
$error++;
$sha_error++;
next;
diff --git a/pom.xml b/pom.xml
index 25c5a737d44..97a55f618fd 100644
--- a/pom.xml
+++ b/pom.xml
@@ -1176,7 +1176,8 @@ org.eclipse.jdt.ui.text.custom_code_templates=
Running license check
-
+
+