Buggy Graphiti property sheet (Mac OS only)

gistfile1.java

package net.sf.orcc.xdf.ui.properties;

import org.eclipse.graphiti.ui.platform.GFPropertySection;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Text;
import org.eclipse.ui.views.properties.tabbed.ITabbedPropertyConstants;
import org.eclipse.ui.views.properties.tabbed.TabbedPropertySheetPage;

public class TestPropertySection extends GFPropertySection implements
		ITabbedPropertyConstants {

	Text t1, t2, t3;

	public TestPropertySection() {
		System.out.println("create");
	}

	@Override
	public void createControls(Composite parent,
			TabbedPropertySheetPage aTabbedPropertySheetPage) {
		super.createControls(parent, aTabbedPropertySheetPage);

		System.out.println("create controls");

		t1 = getWidgetFactory().createText(parent, "this text will be copied if you click on txt2 or txt3");
		t2 = getWidgetFactory().createText(parent, "txt2");
		t3 = getWidgetFactory().createText(parent, "txt3");
	}

	@Override
	public void refresh() {
		super.refresh();
		System.out.println("refresh");
	}

	@Override
	public void dispose() {
		super.dispose();
		System.out.println("dispose");
		t1.dispose();
		t2.dispose();
		t3.dispose();
	}
}