documentation bug: no more 'spring.war.file'