Port PR-4723 into release-1.6#4743

Merged

vladima merged 1 commit into

release-1.6from

Sep 11, 2015

Commits on Sep 11, 2015

reattach file diagnostics for modified files when reusing program structure
vladima
committed