RFR: 6245663: (spec) File.renameTo(File) changes the file-system object, not the File instance [v4]

[Brian Burkhalter]

> Please review this minor specification update to highlight that `File.renameTo(File)` does not modify the `File` instance on which the method is invoked.

Brian Burkhalter has updated the pull request incrementally with one additional commit since the last revision:

  6245663: Simplify new verbiage

-------------

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/2618/files
  - new: https://git.openjdk.java.net/jdk/pull/2618/files/e7ff82d2..e6a23ab4

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=jdk&pr=2618&range=03
 - incr: https://webrevs.openjdk.java.net/?repo=jdk&pr=2618&range=02-03

  Stats: 4 lines in 1 file changed: 0 ins; 2 del; 2 mod
  Patch: https://git.openjdk.java.net/jdk/pull/2618.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/2618/head:pull/2618

PR: https://git.openjdk.java.net/jdk/pull/2618