update java-crate to 0.7.1