Update various_shorts.java