OptimisticNavigationRequestProcessor fix, debug output and JavaDoc