185186187188189190191192193194195
if (course.equals(executionCourse)) { return true; } } if (campus != null) { if (course.functionsAt(campus)) { return true; } } } if (department != null) {