diff --git a/src/main/java/com/google/devtools/build/lib/rules/java/JavaOptions.java b/src/main/java/com/google/devtools/build/lib/rules/java/JavaOptions.java
index 5486467..bbaad01 100644
--- a/src/main/java/com/google/devtools/build/lib/rules/java/JavaOptions.java
+++ b/src/main/java/com/google/devtools/build/lib/rules/java/JavaOptions.java
@@ -704,6 +704,11 @@
     host.javaRuntimeVersion = hostJavaRuntimeVersion;
     host.javaLanguageVersion = hostJavaLanguageVersion;
 
+    host.bytecodeOptimizers = bytecodeOptimizers;
+    host.enforceProguardFileExtension = enforceProguardFileExtension;
+    host.extraProguardSpecs = extraProguardSpecs;
+    host.proguard = proguard;
+
     // Save host options for further use.
     host.hostJavaBase = hostJavaBase;
     host.hostJavacOpts = hostJavacOpts;