Refresh option not available for some resources that are not closed p…#2601

merks merged 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

DaveCarpeneto:issue2538bDaveCarpeneto/eclipse.platform.ui:issue2538bCopy head branch name to clipboard