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