String (@NotNull ObjectReference ref) { String shortName = StringUtil.getShortName(ref.referenceType().name()); String name = shortName.replace("[]", "Array"); return String.format("%s@%d", name, ref.uniqueID()); }