diff --git a/dev/core/src/com/google/gwt/dev/jjs/JavaToJavaScriptCompiler.java b/dev/core/src/com/google/gwt/dev/jjs/JavaToJavaScriptCompiler.java
index 00590f6..2d6e700 100644
--- a/dev/core/src/com/google/gwt/dev/jjs/JavaToJavaScriptCompiler.java
+++ b/dev/core/src/com/google/gwt/dev/jjs/JavaToJavaScriptCompiler.java
@@ -313,6 +313,12 @@
       JProgram jprogram = new JProgram(logger, rebindOracle);
       JsProgram jsProgram = new JsProgram();
 
+      if (JProgram.isTracingEnabled()) {
+        System.out.println("------------------------------------------------------------");
+        System.out.println("|                     (new permuation)                     |");
+        System.out.println("------------------------------------------------------------");
+      }
+
       {
         /*
          * (1) Build a flattened map of TypeDeclarations => JType. The resulting
diff --git a/dev/core/src/com/google/gwt/dev/jjs/ast/JProgram.java b/dev/core/src/com/google/gwt/dev/jjs/ast/JProgram.java
index 3b11902..8095001 100644
--- a/dev/core/src/com/google/gwt/dev/jjs/ast/JProgram.java
+++ b/dev/core/src/com/google/gwt/dev/jjs/ast/JProgram.java
@@ -119,6 +119,10 @@
     }
   }
 
+  public static boolean isTracingEnabled() {
+    return System.getProperty("gwt.jjs.traceMethods") != null;
+  }
+
   public static boolean methodsDoMatch(JMethod method1, JMethod method2) {
     // static methods cannot match each other
     if (method1.isStatic() || method2.isStatic()) {