jav_vee is not found!