Rename Rectangle4v to Rectangle4v.java