Delete ElementFilter.js~