Fixes NPE when closing/reopening the Properties view.
See https://bugs.eclipse.org/bugs/show_bug.cgi?id=311692