fix for jvm7