bugfix for jva