String (@NotNull ArrayReference ref) { String shortName = StringUtil.getShortName(ref.referenceType().name()); int length = ref.length(); String name = shortName.replaceFirst(Pattern.quote("[]"), String.format("[%d]", length)); return String.format("%s@%d", name, ref.uniqueID()); }