String () { StringBuilder builder = new StringBuilder(); TextRange[] ranges = getRanges(); VirtualFile[] files = getVirtualFiles(); if (files.length > 0) { builder.append(files[0].toString()); } for (int i = 0; i < ranges.length; ++i) { if (i > 0) builder.append(','); builder.append('{'); builder.append(ranges[i].toString()); builder.append('}'); } return builder.toString(); }