public ICredentials getAuthCredentials(URL url) {
final Map< ? , ? > authorizationInfo = Platform.getAuthorizationInfo(url, REALM, SCHEME);
/* Credentials Provided */
if (authorizationInfo != null)
return new ICredentials() {
public String getUsername() {
return (String) authorizationInfo.get(USERNAME);
}
public String getPassword() {