Removed obsolete Mozilla Rhino JS library