spotless update

Author: BookWood7th

key.core/src/main/java/de/uka/ilkd/key/smt/SMTRuleApp.java

@@ -13,10 +13,11 @@
 import de.uka.ilkd.key.rule.BuiltInRule;
 import de.uka.ilkd.key.rule.RuleApp;
 
-import org.jspecify.annotations.NonNull;
 import org.key_project.logic.Name;
 import org.key_project.util.collection.ImmutableList;
 
+import org.jspecify.annotations.NonNull;
+
 /**
  * The rule application that is used when a goal is closed by means of an SMT solver. So far it
  * stores the rule that that has been used and a title containing some information for the user.