Delete mozilla-ast.js