fix exception when resource was not in sync
small fix
add debug printout when opening stuff in navigator takes long time
small fix
improved token scanners