For the details of the changes please refer to section 4.2 of the paper. Additionaly, as there were no aspects to check, we included a small testing aspect (Tester.java), which violates the LoD and is reported correctly.
