up to MySQL Workbench 6.1.7 (2014-06-27)