unique name, throws Exception in javashell.js