8300864: Declare some fields in java.io as final#12140
8300864: Declare some fields in java.io as final#12140minborg wants to merge 2 commits intoopenjdk:masterfrom
Conversation
|
👋 Welcome back pminborg! A progress list of the required criteria for merging this PR into |
LanceAndersen
left a comment
There was a problem hiding this comment.
The changes look reasonable to me
|
@minborg This change now passes all automated pre-integration checks. ℹ️ This project also has non-automated pre-integration requirements. Please see the file CONTRIBUTING.md for details. After integration, the commit message for the final commit will be: You can use pull request commands such as /summary, /contributor and /issue to adjust it as needed. At the time when this comment was updated there had been 4 new commits pushed to the
Please see this link for an up-to-date comparison between the source branch of this pull request and the ➡️ To integrate this PR with the above commit message to the |
|
/integrate |
|
Going to push as commit 079255e.
Your commit was automatically rebased without conflicts. |
| * The FileSystem object representing the platform's local file system. | ||
| */ | ||
| private static final FileSystem fs = DefaultFileSystem.getFileSystem(); | ||
| private static final FileSystem FS = DefaultFileSystem.getFileSystem(); |
There was a problem hiding this comment.
It's a pity to rename this one as FS.* is very ugly.
Some of the fields in java.io can be declared as final.
Progress
Issue
Reviewers
Reviewing
Using
gitCheckout this PR locally:
$ git fetch https://git.openjdk.org/jdk pull/12140/head:pull/12140$ git checkout pull/12140Update a local copy of the PR:
$ git checkout pull/12140$ git pull https://git.openjdk.org/jdk pull/12140/headUsing Skara CLI tools
Checkout this PR locally:
$ git pr checkout 12140View PR using the GUI difftool:
$ git pr show -t 12140Using diff file
Download this PR as a diff file:
https://git.openjdk.org/jdk/pull/12140.diff