Artifacts of org.overture.ide.debug #200