fix implementation review findings#717

RolandJentschETAS wants to merge 1 commit into

eclipse-score:maineclipse-score/process_description:mainfrom

etas-contrib:improvement_fix_implementation_review_findingsetas-contrib/score_process_description:improvement_fix_implementation_review_findingsCopy head branch name to clipboard