JS backend: fix hashCode overloading