You can use SwingSet2 or Rachota Java Swing applications:
Check that disabled menu items (grey widgets) are detected by TESTAR with enabled:false property, but actions (green dot) are not derived automatically
Check that TESTAR is no longer deriving a click action in the middle of the menu
Check that deriving top-level actionable widgets provokes TESTAR to derive actions only in the menu items and not in the widgets behind