Adding constant for line.separator and friends

[Mark Reinhold]

> Date: Mon, 09 Nov 2009 23:07:05 -0800
> From: Martin Buchholz <martinrb at google.com>

> On Mon, Nov 9, 2009 at 21:54, Mark Reinhold <mr at sun.com> wrote:
>> ...
>> Yet ... how much of a problem is this outside of the JDK itself and,
>> more generally, for new code rather than old?
>> 
>> If there are n (for n <= 43) problematic uses in the JDK then we could
>> just fix those without defining any new public API.  For new code we
>> should encourage people to use String.format("...%n...") rather than
>> access the line.separator property explicitly.
> 
> Hacking on Formatter is how I got here.
> 
> String.format("%n")" is both at risk of throwing SecurityException
> (because Formatter does not use doPrivileged;
> my proposal here is a step to fixing that)
> and is rather slow.
> Too slow for performance-sensitive uses.

Okay, fair enough.

- Mark