diff --git a/collects/profj/tool.ss b/collects/profj/tool.ss
index 3ee45c4e59..ae225d19cf 100644
--- a/collects/profj/tool.ss
+++ b/collects/profj/tool.ss
@@ -78,7 +78,7 @@
              (token-sym->style short-sym->style-name)))
             
 
-      (define java-keymap (new keymap%))
+      (define java-keymap (new keymap:aug-keymap%))
       (send java-keymap add-function "do-return" (λ (edit event) (send edit do-return)))
       (send java-keymap map-function "return" "do-return")
       (send java-keymap map-function "s:return" "do-return")