Sort directory files alphabetically in Lifecycle

nickbattle · Nov 28, 2023 · 2987d4a · 2987d4a
1 parent 4fa1315
commit 2987d4a
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/vdmj/src/main/java/com/fujitsu/vdmj/plugins/Lifecycle.java b/vdmj/src/main/java/com/fujitsu/vdmj/plugins/Lifecycle.java
@@ -352,7 +352,10 @@ protected void findFiles()
 
 			if (file.isDirectory())
 			{
-				for (File subfile: file.listFiles(Settings.dialect.getFilter()))
+				File[] list = file.listFiles(Settings.dialect.getFilter());
+				Arrays.sort(list);	// Predictable order
+
+				for (File subfile: list)
 				{
 					if (subfile.isFile())
 					{