void (boolean requestFocus) { if (!isPhysical()) { PsiElement element = getOriginalElement(); if (element != this) { ((Navigatable)element).navigate(requestFocus); return; } } super.navigate(requestFocus); }