--- a/jdk/src/share/classes/javax/swing/text/DefaultEditorKit.java	Thu Feb 20 16:23:45 2014 -0800
+++ b/jdk/src/share/classes/javax/swing/text/DefaultEditorKit.java	Fri Feb 21 15:28:09 2014 +0400
@@ -317,9 +317,7 @@
         int offs = pos;
         Object endOfLineProperty = doc.getProperty(EndOfLineStringProperty);
         if (endOfLineProperty == null) {
-            try {
-                endOfLineProperty = System.getProperty("line.separator");
-            } catch (SecurityException se) { }
+            endOfLineProperty = System.lineSeparator();
         }
         String endOfLine;
         if (endOfLineProperty instanceof String) {