This class is a hack that mades JDT BufferManager methods
addBuffer() and removeBuffer() accessible.
It does NOT modify or replace the instance of default buffer manager, because if they
are more then one plugin which performs such hack, then it will end up in a big bang.
author: Andrei