eclipse / platform / eclipse.platform.ui / 33984d550e5f55542d7a214031b5ce1556c9c06d / . / examples / org.eclipse.ui.examples.views.properties.tabbed.hockeyleague / src / org / eclipse / ui / examples / views / properties / tabbed / hockeyleague / ui / editor