diff --git a/collects/profjBoxes/private/example-box.ss b/collects/profjBoxes/private/example-box.ss
index bb35937d1c..f7b5fd9939 100644
--- a/collects/profjBoxes/private/example-box.ss
+++ b/collects/profjBoxes/private/example-box.ss
@@ -80,12 +80,13 @@
                                                         (send example get-value)
                                                         level)])
                                     #'(define name value)))))
-              #`(parse-example-box (list #,@(send examples map-children
-                                                  (lambda (example)
-                                                    (with-syntax ([type (send example get-type)]
-                                                                  [id (send example get-name)]
-                                                                  [value (send example get-value)])
-                                                      #'(list type id value))))))
+              (syntax-property #`(parse-example-box (list #,@(send examples map-children
+                                                                   (lambda (example)
+                                                                     (with-syntax ([type (send example get-type)]
+                                                                                   [id (send example get-name)]
+                                                                                   [value (send example get-value)])
+                                                                       #'(list type id value))))))
+                               'example-box #t)
               ))
           
           #;(-> void?)
diff --git a/collects/profjBoxes/tool.ss b/collects/profjBoxes/tool.ss
index 8f9b85f736..f8b199e52e 100644
--- a/collects/profjBoxes/tool.ss
+++ b/collects/profjBoxes/tool.ss
@@ -44,7 +44,7 @@
                       (send text end-edit-sequence)))))
                (demand-callback has-editor-on-demand))
           
-          (new menu-item%
+          #;(new menu-item%
                (label (string-constant profjBoxes-insert-java-interactions))
                (parent (get-special-menu))
                (callback