Delete MiningSplitter.html~