<br><br><div class="gmail_quote">On Mon, Nov 9, 2009 at 20:14, Joe Darcy <span dir="ltr"><<a href="mailto:Joe.Darcy@sun.com">Joe.Darcy@sun.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div><div></div><div class="h5">Martin Buchholz wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>
</blockquote>
<br></div></div>
Hi Martin,<br>
<br>
Given that these values are not true constants since they vary across platforms, I think it is misleading to make them look like constant by having them be "public static final" fields with ALL CAPS names.<br>
<br>
I would prefer to see these values returned by wrapper methods that did the necessary security checks and caching.<br><font color="#888888">
<br></font></blockquote><div><br>We could certainly turn the fields into methods.<br><br>Since line.separator is the most popular system property,<br>and other system properties like<br>java.home have vague security implications<br>
that would suggest they must be protected by<br>a security manager, we might consider just <br>making the one system property available.<br>Perhaps very simply <br><br>String System.lineSeparator()?<br><br>or we could put it into java.io.File<br>
<br>String File.lineSeparator()<br> <br>Martin<br><br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><font color="#888888">
-Joe<br>
<br>
<br>
</font></blockquote></div><br>