result.append(':'); if (gtEqual) { ((BasicVersion) minVersion).originalToString(result, true); } else { if (Version.emptyVersion.equals(minVersion)) ((BasicVersion) minVersion).rawToString(result, true); else ((BasicVersion) minVersion).originalToString(result, true); result.append(','); ((BasicVersion) maxVersion).originalToString(result, true);