Add upgrade and downgrade folders

java/downgrades/709f1d1fd04ffd9bbcf242f17b120f8a389949bd/hasModifier.ql

@@ -0,0 +1,19 @@
+class Modifier extends @modifier {
+  string toString() { none() }
+}
+
+class TypeVariable extends @typevariable {
+  string toString() { none() }
+}
+
+class Modified extends @modifiable {
+  Modified() { hasModifier(this, _) }
+
+  string toString() { none() }
+}
+
+from Modified m1, Modifier m2
+where
+  hasModifier(m1, m2) and
+  not m1 instanceof TypeVariable
+select m1, m2

java/downgrades/709f1d1fd04ffd9bbcf242f17b120f8a389949bd/modifiers.ql

@@ -0,0 +1,11 @@
+class Modifier extends @modifier {
+  string toString() { none() }
+
+  string getName() { modifiers(this, result) }
+}
+
+from Modifier m, string s
+where
+  s = m.getName() and
+  not s in ["in", "out", "reified"]
+select m, m.getName()

java/downgrades/709f1d1fd04ffd9bbcf242f17b120f8a389949bd/upgrade.properties

@@ -0,0 +1,4 @@
+description: Remove type parameters from modifiable entities
+compatibility: backwards
+hasModifier.rel: run hasModifier.qlo
+modifiers.rel: run modifiers.qlo

java/ql/lib/upgrades/ecb42310286011ada450ff65b9b417509863549f/upgrade.properties

@@ -0,0 +1,2 @@
+description: Make type parameters modifiable
+compatibility: backwards