[jbosstools-commits] JBoss Tools SVN: r3785 - trunk/hibernatetools/plugins/org.hibernate.eclipse.console/src/org/hibernate/eclipse/launch.