Slight changes to previos push for Buildpack-enabled Options for Server.xml documentation