4.0.0 org.eclipse.ui.views.properties tabbed 3.5.300.v20120523-1956