Rename Whileypath.java to WhileyPath.java