diff --git a/collects/profj/tool.ss b/collects/profj/tool.ss
index fe32b4d217..9ec81d11ad 100644
--- a/collects/profj/tool.ss
+++ b/collects/profj/tool.ss
@@ -728,7 +728,7 @@
                  (let ((end? (eof-object? (peek-char-or-special port))))
                    (if end? 
                        eof 
-                       (datum->syntax #f `(parse-java-full-program ,(parse port (get-defn-editor name) #;(quote name) level)
+                       (datum->syntax #f `(parse-java-full-program ,(parse port name level)
                                                                    ,name) #f)))))))
           (define/public (front-end/interaction port settings)
             (mred? #t)