Restore Hibernate Tools in the main menu#271

yrodiere wants to merge 2 commits intohibernate:productionhibernate/hibernate.org:productionfrom

yrodiere:restore-toolsyrodiere/hibernate.org:restore-toolsCopy head branch name to clipboard