Avoided NullPointerException in the NavigatorContentProvider