Menu4j: Difference between revisions