Crash trying to change api server

[anonymous]

What steps will reproduce the problem?

1. Edit / Preferences / Connexion parameters

What is the expected result?
Being able to replace ​http://api.openstreetmap.org/api with ​http://api.openstreetmap.fr/api

What happens instead?
error report

Please provide any additional information below. Attach a screenshot if
possible.

Repository Root: http://josm.openstreetmap.de/svn
Build-Date: 2012-03-07 02:32:17
Last Changed Author: stoecker
Revision: 5047
Repository UUID: 0c6e7542-c601-0410-84e7-c038aed88b3b
URL: http://josm.openstreetmap.de/svn/trunk
Last Changed Date: 2012-03-06 10:30:34 +0100 (Tue, 06 Mar 2012)
Last Changed Rev: 5047

Identification: JOSM/1.5 (5047 fr)
Memory Usage: 161 MB / 405 MB (87 MB allocated, but free)
Java version: 1.7.0_02, Oracle Corporation, Java HotSpot(TM) 64-Bit Server VM
Operating system: Windows 7

Plugin: DirectDownload (27649)
Plugin: DirectUpload (27865)
Plugin: mirrored_download (28108)
Plugin: restart (27852)

java.lang.NullPointerException
	at org.openstreetmap.josm.io.auth.CredentialsManager.store(CredentialsManager.java:94)
	at org.openstreetmap.josm.gui.preferences.server.BasicAuthenticationPreferencesPanel.saveToPreferences(BasicAuthenticationPreferencesPanel.java:121)
	at org.openstreetmap.josm.gui.preferences.server.AuthenticationPreferencesPanel.saveToPreferences(AuthenticationPreferencesPanel.java:124)
	at org.openstreetmap.josm.gui.preferences.ServerAccessPreference.ok(ServerAccessPreference.java:134)
	at org.openstreetmap.josm.gui.preferences.PreferenceTabbedPane$3.run(PreferenceTabbedPane.java:254)
	at org.openstreetmap.josm.gui.preferences.PreferenceTabbedPane.savePreferences(PreferenceTabbedPane.java:303)
	at org.openstreetmap.josm.gui.preferences.PreferenceDialog$OKAction.actionPerformed(PreferenceDialog.java:155)
	at javax.swing.AbstractButton.fireActionPerformed(Unknown S

[simon04]

In 5111/josm:

fix #7532 - NPE in CredentialsManager

[simon04]

I could reporoduce this bug by entering an invalid URL, e.g. htt://api.openstreetmap.fr/api, but it worked fine for a correct URL.