Patch: Java -vs- Jacks

[Alexandre Petit-Bianco]

Tom Tromey writes:

> Actually CRCRLF is two line terminators.  This distinction is only a
> pedantic one though.

How about LRM 3.4 which says:

  Lines are terminated by the ASCII characters CR, or LF, or CR LF. The
  two characters CR immediately followed by LF are counted as one line
  terminator, not two.

> I just tried it and it worked fine.

Cool. Then I think you can definitively check that in. Thanks a lot.

> Is there a way to turn those warnings off?

No.

./A