automatic JUnit-test generation deactivated