CodeVS4 for Java