void (@NotNull Project project) { if (project != myProject) return; //noinspection UseOfObsoleteCollectionType Stack<AccessToken> tokens = stack; if (!tokens.isEmpty()) { // just in case tokens.pop().finish(); } }