de.rwth.i2.attestor.util (Attestor 0.3.5-SEFM2018 API)