eclipse / gerrit / platform / eclipse.platform.ui / 84cb51e1b183809a067961fc21f7b9353a5aa485 / . / examples / org.eclipse.ui.examples.views.properties.tabbed.article / src / org / eclipse / ui / examples / views / properties / tabbed / article / views