[jbosstools-commits] JBoss Tools SVN: r9879 - trunk/hibernatetools/plugins/org.jboss.tools.hibernate.jpt.ui/src/org/jboss/tools/hibernate/jpt/ui.