Selecting the next line token throws a NullPointerException: `jav.gui.mainWindow.MainTopComponent.selectPrevLineToken(MainTopComponent.java:920)`