Fixed the default configs so they're .properties files instead of .edn.