From 117108fc63f504e35879cc4e3ef55e2e98487dd0 Mon Sep 17 00:00:00 2001
From: a2geek <robgreene@gmail.com>
Date: Fri, 31 Jul 2026 18:20:21 -0500
Subject: [PATCH] Organized imports.

---
 .../src/main/java/io/github/applecommander/acx/Main.java      | 3 ++-
 .../applecommander/acx/command/AbstractProofCommand.java      | 4 ++--
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/app/cli-acx/src/main/java/io/github/applecommander/acx/Main.java b/app/cli-acx/src/main/java/io/github/applecommander/acx/Main.java
index 94afed32..67243bbc 100644
--- a/app/cli-acx/src/main/java/io/github/applecommander/acx/Main.java
+++ b/app/cli-acx/src/main/java/io/github/applecommander/acx/Main.java
@@ -20,7 +20,8 @@
 package io.github.applecommander.acx;
 
 import io.github.applecommander.acx.command.*;
-import io.github.applecommander.acx.command.AbstractProofCommand.*;
+import io.github.applecommander.acx.command.AbstractProofCommand.HiddenProofCommand;
+import io.github.applecommander.acx.command.AbstractProofCommand.ProofCommand;
 import picocli.CommandLine;
 import picocli.CommandLine.Command;
 import picocli.CommandLine.HelpCommand;
diff --git a/app/cli-acx/src/main/java/io/github/applecommander/acx/command/AbstractProofCommand.java b/app/cli-acx/src/main/java/io/github/applecommander/acx/command/AbstractProofCommand.java
index 2e89dbcd..7610568c 100644
--- a/app/cli-acx/src/main/java/io/github/applecommander/acx/command/AbstractProofCommand.java
+++ b/app/cli-acx/src/main/java/io/github/applecommander/acx/command/AbstractProofCommand.java
@@ -28,11 +28,11 @@ import io.github.applecommander.acx.converter.DiskConverter;
 import org.applecommander.bastools.api.Configuration;
 import org.applecommander.bastools.api.ModernTokenReader;
 import org.applecommander.bastools.api.Parser;
-import picocli.CommandLine.*;
-import picocli.CommandLine.Model.*;
 import org.applecommander.bastools.api.model.Program;
 import org.applecommander.bastools.api.model.Token;
 import org.applecommander.bastools.api.proofreaders.*;
+import picocli.CommandLine.*;
+import picocli.CommandLine.Model.CommandSpec;
 
 import java.io.File;
 import java.io.FileNotFoundException;