[galaxy-dev] Migrating Galaxy 14.02 to 15.05 : error with tool migration