Delete MiningSplitter.js~