protected static void writeOptions(Writer writer, CeylonConfig config, String section) throws IOException { String[] names = config.getOptionNames(section); if (names != null) { for (int i = 0; i < names.length; i++) { String name = names[i]; writeOption(writer, config, section, name); config.removeOption(section + "." + name); writer.write(System.lineSeparator()); } } }