Mobile code: use of inner class