Fix for NPE in navigator when switching to Rascal perspective for the
very first time.