String () { if (myCurrentPrefix != null) { return myCurrentPrefix; } if (myPrefixes.isEmpty()) { return ""; } StringBuilder buf = new StringBuilder(); for (Pair<String, InclusionKind> prefix : myPrefixes) { buf.append(prefix.getFirst()); } return myCurrentPrefix = buf.toString(); }