void (@NotNull PsiTreeChangeEvent event) { PsiElement oldElement = event.getOldChild(); PsiElement newElement = event.getNewChild(); if (oldElement instanceof PsiWhiteSpace) { replacedWhite[0]++; } else { replacedNWhite[0]++; } if (newElement instanceof PsiWhiteSpace) { replacedWhite[0]++; } else { replacedNWhite[0]++; } }