delete unused Priorities

src/main/java/de/tla2b/global/Priorities.java

-package de.tla2b.global;
-
-public interface Priorities {
-	int P_max = 300;
-
-	int P_record_acc = 250;
-	int P_uminus = 210;
-	int P_exp = 200;
-
-	int P_times = 190;
-	int P_div = 190;
-	int P_mod = 190;
-
-
-	int P_plus = 180;
-	int P_minus = 180;
-	int P_setdiff = 180;
-
-	int P_dotdot = 170;
-
-	int P_maplet = 160;
-
-	int P_take_first = 160;
-	int P_drop_last = 160;
-	int P_conc = 160;
-
-	int P_intersect = 140;
-	int P_union = 140;
-
-
-	int P_append = 130;
-
-	int P_total_f = 125;
-
-	int P_comma = 115;
-
-
-	int P_rel_overriding = 90;
-
-	int P_in = 60;
-	int P_notin = 60;
-	int P_subseteq = 60;
-
-	int P_equals = 50;
-	int P_noteq = 50;
-	int P_gt = 50;
-	int P_lt = 50;
-	int P_leq = 50;
-	int P_geq = 50;
-
-	int P_equiv = 60;
-
-	int P_and = 40;
-	int P_or = 40;
-
-
-	int P_implies = 30;
-
-	int P_min = 0;
-
-
-}

src/main/java/de/tla2bAst/BAstCreator.java

@@ -25,7 +25,7 @@ import java.util.*;
 import java.util.Map.Entry;
 
 public class BAstCreator extends BuiltInOPs
-	implements TranslationGlobals, ASTConstants, BBuildIns, Priorities, ValueConstants {
+	implements TranslationGlobals, ASTConstants, BBuildIns, ValueConstants {
 
 	List<PMachineClause> machineClauseList;
 	ConfigfileEvaluator conEval;