removed stale class
make IArena globally visible