the bugtests are currently skipped in Junit5 tests because it is not annotated with @Test from jupiter-api