Update liquidjava-example/src/main/java/testSuite/classes/overload_constructors_error/ThrowableRefinements.java

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

Author: CatarinaGamboa

liquidjava-example/src/main/java/testSuite/classes/overload_constructors_error/ThrowableRefinements.java

@@ -1,4 +1,4 @@
-package testSuite.classes.overload_constructors;
+package testSuite.classes.overload_constructors_error;
 
 import liquidjava.specification.StateSet;
 import liquidjava.specification.StateRefinement;