Changeset: d3cdf4b2b45b Author: prappo Date: 2020-01-24 21:57 +0000 URL: https://hg.openjdk.java.net/jdk/submit/rev/d3cdf4b2b45b 8237817: Clean up net-properties.html Reviewed-by: dfuchs ! src/java.base/share/classes/java/net/doc-files/net-properties.html