static void changedEventReceiver(ChangedEventHandler handler, long sourcePointer) { handler.handle((TreeSelection) ObjectCache.lookup(sourcePointer)); }