public void test(TestHarness harness)
{
JMenuBar mb = new JMenuBar();
harness.check(mb.getMargin(), new Insets(0, 0, 0, 0));
harness.check(mb.getMargin() != mb.getMargin());
mb.addPropertyChangeListener(this);
mb.setMargin(new Insets(1, 2, 3, 4));
harness.check(mb.getMargin(), new Insets(1, 2, 3, 4));
harness.check(events.size(), 1);
PropertyChangeEvent e = (PropertyChangeEvent) events.get(0);
harness.check(e.getSource(), mb);