[platform-compare-dev] released to HEAD

[Andre_Weinand@xxxxxxx]

#9331: NPE during compare with stream version
#6346: Problems with Patch
#6727: Patch: *.rej file must be saved in workspace
#7358: Internal Error in Compare with Patch with new files