serializer.setProperty("http://xmlpull.org/v1/doc/properties.html#serializer-line-separator", "\n");
        serializer.setOutput(writer);
        serializer.startDocument(coreExtensions.getModelEncoding(), null);
        writeCoreExtensions(coreExtensions, "extensions", serializer);
        serializer.endDocument();
    } // -- void write( Writer, CoreExtensions )

    /**

getProperty(String) throws IllegalArgumentExcep; private String getLocation(); public java.io.Writer getWriter(); public void setOutput(java.io.Writer); public void setOutput(java.io.OutputStream, String) throws java.io.IOException; public void startDocument(String, Boolean) throws java.io.IOException; public void endDocument() throws java.io.IOException; public void setPrefix(String, String) throws java.io.IOException; protected String lookupOrDeclarePrefi(String); public String getPrefix(String,...