Removed some forgotten parts depending on the Mozilla Rhino JS library