reverted changes in SETH.java, SETHNERAppMut.java, SETHSuite.scala, seth.iml