if ( connection.getReferralsHandlingMethod() == IConnection.HANDLE_REFERRALS_FOLLOW )
{
// get referral handler
IReferralHandler referralHandler = BrowserCorePlugin.getDefault().getReferralHandler();
if ( referralHandler == null )
{
throw new ConnectionException( BrowserCoreMessages.model__no_referral_handler );
}
// for all referrals
ReferralException re = ( ReferralException ) ce;
for ( int r = 0; r < re.getReferrals().length; r++ )
{
// parse referral URL
String referral = re.getReferrals()[r];
URL referralUrl = new URL( referral );
// get referral connection
IConnection referralConnection = referralHandler.getReferralConnection( referralUrl );
if ( referralConnection == null )
{
// throw new
// ConnectionException(BrowserCoreMessages.model__no_referral_connection);
continue;