A fix for the top menu and its width. Back to DB Cloudbees provider. New
WAR file.