How to get line separator in a OS-independent way in Java.