public String makeReplayURI(String datespec, String url) {
		StringBuilder sb = null;

		if(replayURIPrefix == null) {
			sb = new StringBuilder(url.length() + datespec.length());
			sb.append(datespec);
			sb.append("/");
			sb.append(UrlOperations.stripDefaultPortFromUrl(url));
			return sb.toString();
		}
		if(url.startsWith(replayURIPrefix)) {
			return url;
		}
		sb = new StringBuilder(url.length() + datespec.length());
		sb.append(replayURIPrefix);
		sb.append(datespec);
		sb.append("/");
		sb.append(UrlOperations.stripDefaultPortFromUrl(url));
		return sb.toString();
	}
public String makeReplayURI ( String datespec , String url ) { StringBuilder sb = null ; if ( replayURIPrefix == null ) { sb = new StringBuilder ( url . length ( ) + datespec . length ( ) ) ; sb . append ( datespec ) ; sb . append ( "/" ) ; sb . append ( UrlOperations . stripDefaultPortFromUrl ( url ) ) ; return sb . toString ( ) ; } if ( url . startsWith ( replayURIPrefix ) ) { return url ; } sb = new StringBuilder ( url . length ( ) + datespec . length ( ) ) ; sb . append ( replayURIPrefix ) ; sb . append ( datespec ) ; sb . append ( "/" ) ; sb . append ( UrlOperations . stripDefaultPortFromUrl ( url ) ) ; return sb . toString ( ) ; }
/* (non-Javadoc)
@see org.archive.wayback.ResultURIConverter#makeReplayURI(java.lang.String, java.lang.String)