List<String> (@NotNull List<String> messages) { if (messages.size() <= 1) { return messages; } final String line0 = messages.get(0); final String line1 = messages.get(1); final int colonIndex = line1.indexOf(':'); if (colonIndex > 0) { @NonNls String part1 = line1.substring(0, colonIndex).trim(); // jikes if ("symbol".equals(part1)) { String symbol = line1.substring(colonIndex + 1).trim(); messages.remove(1); if (messages.size() >= 2) { messages.remove(1); } messages.set(0, line0 + " " + symbol); } } return messages; }