First of all I:
- quit the org.apache.catalina.startup.Bootstrap
- run ctlscript.sh stop
- replace jenkins.war
- run ctlscript.sh start
Load jenkins from web browser, go into Manage Jenkins, and it still says newer version is available. In this case it is 1.463.
Under System Info, all info seems to relate to 1.462.
Don't we have to tell Tomcat to manually re-expand the .war, and remove all previous working files?