Fix ReflectionAnalysis plugin to enable AnnotationModel only for Java 5+ (#159)

Author: FoggyDawn

src/main/java/pascal/taie/analysis/pta/plugin/reflection/ReflectionAnalysis.java

@@ -24,6 +24,7 @@
 
 import org.apache.logging.log4j.LogManager;
 import org.apache.logging.log4j.Logger;
+import pascal.taie.World;
 import pascal.taie.analysis.pta.core.solver.Solver;
 import pascal.taie.analysis.pta.plugin.CompositePlugin;
 import pascal.taie.ir.proginfo.MethodRef;
@@ -80,8 +81,11 @@ public void setSolver(Solver solver) {
         addPlugin(logBasedModel,
                 inferenceModel,
                 reflectiveActionModel,
-                new AnnotationModel(solver, helper),
                 new OthersModel(solver, helper));
+
+        if (World.get().getOptions().getJavaVersion() >= 5) {
+            addPlugin(new AnnotationModel(solver, helper));
+        }
     }
 
     @Override