diff --git a/ci/install-openjdk.bash b/ci/install-openjdk.bash
index 4fa4b115e..d4635274e 100644
--- a/ci/install-openjdk.bash
+++ b/ci/install-openjdk.bash
@@ -183,3 +183,4 @@ add_jdk_to_jenv
 . ${DIR}/set-jdk.bash ${jdk} ${ABCL_ROOT}
 
 jenv doctor
+exit 0