Extended update user profile
kept both settings
war.name was twice defined.
merged
Merge branch 'master' of https://github.com/bernfried/SimplePRP-GUI

Conflicts:
	SimplePRP-GUI/pom.xml