License change from GPL to MPL (Mozilla Public License)