On Fri, 2 Feb 2024 00:38:51 GMT, Brian Burkhalter <b...@openjdk.org> wrote:
> Modify the specification verbiage of `java.io.RandomAccessFile.setLength` to > account for the effect of the method on the file offset as returned by > `getFilePointer`. This pull request has now been integrated. Changeset: 4b1e367e Author: Brian Burkhalter <b...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/4b1e367edabb3c12359abc2d7815559b9ece9fe3 Stats: 20 lines in 1 file changed: 9 ins; 2 del; 9 mod 8325152: Clarify specification of java.io.RandomAccessFile.setLength Reviewed-by: alanb ------------- PR: https://git.openjdk.org/jdk/pull/17679
