diff --git a/java/com/google/domain/registry/module/backend/BUILD b/java/com/google/domain/registry/module/backend/BUILD
index 7b7ad67e2..cc5a8578d 100644
--- a/java/com/google/domain/registry/module/backend/BUILD
+++ b/java/com/google/domain/registry/module/backend/BUILD
@@ -46,6 +46,7 @@ java_library(
 java_binary(
     name = "backend_jar",
     create_executable = 0,
+    launcher = "//third_party/java/jdk:jdk_launcher",
     runtime_deps = [
         ":backend",
         "//java/com/google/domain/registry/monitoring/whitebox",  # MetricsTaskServlet
diff --git a/java/com/google/domain/registry/module/frontend/BUILD b/java/com/google/domain/registry/module/frontend/BUILD
index 24e12000a..53e3f96e6 100644
--- a/java/com/google/domain/registry/module/frontend/BUILD
+++ b/java/com/google/domain/registry/module/frontend/BUILD
@@ -34,6 +34,7 @@ java_library(
 java_binary(
     name = "frontend_jar",
     create_executable = 0,
+    launcher = "//third_party/java/jdk:jdk_launcher",
     runtime_deps = [
         ":frontend",
         "//java/com/google/domain/registry/ui/server/api",  # CheckApiServlet
diff --git a/java/com/google/domain/registry/module/tools/BUILD b/java/com/google/domain/registry/module/tools/BUILD
index 800d53098..580986022 100644
--- a/java/com/google/domain/registry/module/tools/BUILD
+++ b/java/com/google/domain/registry/module/tools/BUILD
@@ -35,6 +35,7 @@ java_library(
 java_binary(
     name = "tools_jar",
     create_executable = 0,
+    launcher = "//third_party/java/jdk:jdk_launcher",
     runtime_deps = [
         ":tools",
     ],