Some usage of Java_Vector