team-worthwhile/worthwhile — comment on commit 9d749d04213f0483d7feb5be3a31fa416b02082b
File: implementierung/src/worthwhile.common.tests/src/edu/kit/iti/formal/pse/worthwhile/common/tests/WorthwhileTypesystemTest.java line 8
By leonhandreke:

As far as I can see, this line breaks the build. Please fix that ASAP.