[galaxy-dev] [hg] galaxy 1519: Update GMAJ tool interface.