Minor retrograde fix (JRE7 readAllLines charset problem)

src/org/idp/laf/Kernel.java

@@ -16,6 +16,7 @@ import java.io.PrintWriter;
 import java.io.UnsupportedEncodingException;
 import java.lang.reflect.Method;
 import java.nio.charset.Charset;
+import java.nio.charset.StandardCharsets;
 import java.nio.file.FileSystems;
 import java.nio.file.Files;
 import java.nio.file.Path;
@@ -99,7 +100,7 @@ public class Kernel {
             if( Files.isWritable(path))
             {
 
-                List<String> linesL =  Files.readAllLines(path);
+                List<String> linesL =  Files.readAllLines(path, StandardCharsets.UTF_8);
                 String [] lines = new String[linesL.size()];
 
                 int i = 0;