several bugfix at HashMap.js