DO NOT MERGE! Dummy change to check OOMs in jenkins#2438

iloveeclipse wants to merge 1 commit intomastereclipse-platform/eclipse.platform.ui:masterfrom

issue_2432_dummyeclipse-platform/eclipse.platform.ui:issue_2432_dummyCopy head branch name to clipboard