< prev index next >

src/jdk.jshell/share/classes/jdk/internal/jshell/tool/JShellTool.java

Print this page

        

*** 1355,1365 **** } else { hard("Warning:"); } } ! for (String line : diag.getMessage(null).split("\\r?\\n")) { if (!line.trim().startsWith("location:")) { hard("%s%s", padding, line); } } --- 1355,1365 ---- } else { hard("Warning:"); } } ! for (String line : diag.getMessage(null).split("\\r?\\n")) { // TODO: Internationalize if (!line.trim().startsWith("location:")) { hard("%s%s", padding, line); } }
< prev index next >