New build of ADL Workbench for Mac OS X Mavericks, built with EiffelStudio 14.05.