equal
deleted
inserted
replaced
1466 } else { |
1466 } else { |
1467 hard("Warning:"); |
1467 hard("Warning:"); |
1468 } |
1468 } |
1469 } |
1469 } |
1470 |
1470 |
1471 for (String line : diag.getMessage(null).split("\\r?\\n")) { |
1471 for (String line : diag.getMessage(null).split("\\r?\\n")) { // TODO: Internationalize |
1472 if (!line.trim().startsWith("location:")) { |
1472 if (!line.trim().startsWith("location:")) { |
1473 hard("%s%s", padding, line); |
1473 hard("%s%s", padding, line); |
1474 } |
1474 } |
1475 } |
1475 } |
1476 |
1476 |