< 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 >