String (ThreadInfo info) { String name = info.getThreadName(); if (ThreadDumper.isEDT(name)) return "UI thread"; int numberStart = CharArrayUtil.shiftBackward(name, name.length() - 1, "0123456789/ ") + 1; if (numberStart > 0) return name.substring(0, numberStart); return name; }