return;
}
/* update the password for admin */
admin.setPassword(Crypto.hash(newPassword));
userManager.updateUser(admin);
/* re-encrypt the key */
EncryptedKey encryptedKey = KeyManager.readKey(oldPassword);
encryptedKey.setPassword(newPassword);
/* write the encryptedKey to the key file */