GumTree has gone into the 1.5.x development mode.  This new 1.5.0 release contains builds for workbench and server in multiple platforms.  The 1.4.x remains as the stable stream until the end of the 1.5.x development cycle.