void () { myVirtualFilePointerManager = (VirtualFilePointerManagerImpl)VirtualFilePointerManager.getInstance(); pointersBefore = myVirtualFilePointerManager.dumpAllPointers(); numberOfListenersBefore = myVirtualFilePointerManager.numberOfListeners(); }