Create IArena.java