Integrated: 8280010: Remove double buffering of InputStream for Properties.load

[Andrey Turbanov]

On Mon, 10 Jan 2022 20:46:36 GMT, Andrey Turbanov <aturbanov at openjdk.org> wrote:

> `Properties.load` uses `java.util.Properties.LineReader`. LineReader already buffers input stream. Hence wrapping InputStream in BufferedInputStream is redundant.

This pull request has now been integrated.

Changeset: 9eb50a5e
Author:    Andrey Turbanov <aturbanov at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/9eb50a5ee4a069fbb248748ebee09132e2450420
Stats:     30 lines in 8 files changed: 0 ins; 11 del; 19 mod

8280010: Remove double buffering of InputStream for Properties.load

Reviewed-by: amenkov, sspitsyn, serb

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

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