diff --git a/dev/core/src/com/google/gwt/dev/CompilePermsServer.java b/dev/core/src/com/google/gwt/dev/CompilePermsServer.java
index 093e878..dd586c4 100644
--- a/dev/core/src/com/google/gwt/dev/CompilePermsServer.java
+++ b/dev/core/src/com/google/gwt/dev/CompilePermsServer.java
@@ -313,8 +313,11 @@
     Throwable caught = null;
     try {
       TreeLogger branch = logger.branch(TreeLogger.DEBUG, "Compiling");
+      CompilerContext compilerContext =
+          new CompilerContext.Builder().options(ast.getOptions()).build();
+
       PermutationResult result =
-          CompilePerms.compile(branch, new CompilerContext(), permutation, ast);
+          CompilePerms.compile(branch, compilerContext, permutation, ast);
       resultFile.set(logger, result);
       logger.log(TreeLogger.DEBUG, "Successfully compiled permutation");
     } catch (UnableToCompleteException e) {