Classes of lively/rhino-compat.js