Change ORM classification for Spring from Full to Micro (#3800)

Fixes #3795

frameworks/Java/spring/benchmark_config.json

@@ -15,7 +15,7 @@
       "framework": "spring",
       "language": "Java",
       "flavor": "None",
-      "orm": "Full",
+      "orm": "Micro",
       "platform": "Tomcat",
       "webserver": "None",
       "os": "Linux",