Merge pull request #143 from veraPDF/profiles_merger

Fix ProfilesMerger
veraPDF · Nov 23, 2023 · a86845b · a86845b
2 parents d33ea1d + dd9aedf
commit a86845b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/veraPDF-integration/src/main/java/org/verapdf/pdfa/qa/ProfilesMerger.java b/veraPDF-integration/src/main/java/org/verapdf/pdfa/qa/ProfilesMerger.java
@@ -63,7 +63,7 @@ public static void mergeAtomicProfiles(OutputStream out,
                                            final String description,
                                            final String creator) throws IOException, JAXBException {
         SortedSet<Rule> rules = new TreeSet<>(new RuleComparator());
-        Set<Variable> variables = new HashSet<>();
+        SortedSet<Variable> variables = new TreeSet<>(Comparator.comparing(Variable::getName));
         PDFAFlavour flavour = null;
 
         for (File dir : root) {