Not needed anymore now that the Shell has a console implementation by default, see https://github.com/mozilla/rhino/issues/1012#issuecomment-1020913197