eclipse / sirius / org.eclipse.sirius / refs/heads/v1.0.x / . / plugins / org.eclipse.sirius.common.ui / src / org / eclipse / sirius / common / ui / business / api / views / properties / tabbed