It looks like the sort of place a FreeMarker template would be useful (and therefore easily allowing the user to supply their own configuration file, as is done with Jboss7Server). But this is fine too.