void () { if (System.currentTimeMillis() - myLastChangeTime > CHECK_DELAY && myDocument.getModificationStamp() != myLastDocStamp) { myLastDocStamp = myDocument.getModificationStamp(); for (InactivityListener listener : myListeners) { try { listener.onInactivity(); } catch (Exception e) { LOG.error(e); } } } }