Not entirely sure this is the best name for this option ("webxmlpath"). defaultwebxml perhaps?!