VersionAdaptor13.java is modified.