void (@NotNull List<String> messages) { if(messages.size() <= 1) { return; } 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); } } }