@Override public void visitSynchronized(JCSynchronized tree) { storePositions(tree); super.visitSynchronized(tree); }