more imports in javashell.js