Use CASE_INSENSITIVE json decoding for arduino-cli

This allows to use the JSON output from arduino-cli even if the
fields are UpperCamelCase instead of camelCase.

Author: cmaglie

arduino-core/src/cc/arduino/contributions/libraries/LibrariesIndexer.java

@@ -29,15 +29,28 @@
 
 package cc.arduino.contributions.libraries;
 
-import cc.arduino.Constants;
-import cc.arduino.contributions.packages.ContributedPlatform;
+import static processing.app.I18n.format;
+import static processing.app.I18n.tr;
+
+import java.io.File;
+import java.io.IOException;
+import java.io.InputStream;
+import java.util.ArrayList;
+import java.util.Collections;
+import java.util.List;
+import java.util.Optional;
+
+import org.apache.commons.compress.utils.IOUtils;
 
 import com.fasterxml.jackson.core.JsonParseException;
 import com.fasterxml.jackson.databind.DeserializationFeature;
 import com.fasterxml.jackson.databind.JsonMappingException;
+import com.fasterxml.jackson.databind.MapperFeature;
 import com.fasterxml.jackson.databind.ObjectMapper;
 import com.fasterxml.jackson.module.mrbean.MrBeanModule;
-import org.apache.commons.compress.utils.IOUtils;
+
+import cc.arduino.Constants;
+import cc.arduino.contributions.packages.ContributedPlatform;
 import processing.app.BaseNoGui;
 import processing.app.I18n;
 import processing.app.helpers.ProcessUtils;
@@ -49,17 +62,6 @@
 import processing.app.packages.UserLibraryFolder.Location;
 import processing.app.packages.UserLibraryPriorityComparator;
 
-import java.io.File;
-import java.io.IOException;
-import java.io.InputStream;
-import java.util.ArrayList;
-import java.util.Collections;
-import java.util.List;
-import java.util.Optional;
-
-import static processing.app.I18n.format;
-import static processing.app.I18n.tr;
-
 public class LibrariesIndexer {
 
   private LibrariesIndex index;
@@ -86,6 +88,7 @@ public void parseIndex() throws IOException {
       mapper.configure(DeserializationFeature.ACCEPT_SINGLE_VALUE_AS_ARRAY, true);
       mapper.configure(DeserializationFeature.EAGER_DESERIALIZER_FETCH, true);
       mapper.configure(DeserializationFeature.FAIL_ON_UNKNOWN_PROPERTIES, false);
+      mapper.configure(MapperFeature.ACCEPT_CASE_INSENSITIVE_PROPERTIES, true);
       LibrariesIndex newIndex = mapper.readValue(indexIn, LibrariesIndex.class);
 
       newIndex.getLibraries().forEach(r -> {

build/build.xml

@@ -845,16 +845,10 @@
     <delete dir="${staging_folder}/arduino-cli-${platform}" includeemptydirs="true"/>
     <mkdir dir="${staging_folder}/arduino-cli-${platform}"/>
     <antcall target="untar">
-<!--
       <param name="archive_file" value="./arduino-cli-${ARDUINO-CLI-VERSION}-${platform}.tar.bz2" />
       <param name="archive_url" value="https://downloads.arduino.cc/arduino-cli/arduino-cli-${ARDUINO-CLI-VERSION}-${platform}.tar.bz2" />
       <param name="final_folder" value="${staging_folder}/arduino-cli-${platform}/arduino-cli" />
       <param name="dest_folder" value="${staging_folder}/arduino-cli-${platform}" />
--->
-      <param name="archive_file" value="./arduino-cli-${ARDUINO-CLI-VERSION}-${platform}.tar.bz2" />
-      <param name="archive_url" value="https://downloads.arduino.cc/PR/arduino-cli/arduino-cli-${ARDUINO-CLI-VERSION}-${platform}.tar.bz2" />
-      <param name="final_folder" value="${staging_folder}/arduino-cli-${platform}/arduino-cli" />
-      <param name="dest_folder" value="${staging_folder}/arduino-cli-${platform}" />
     </antcall>
     <copy file="${staging_folder}/arduino-cli-${platform}/arduino-cli-${ARDUINO-CLI-VERSION}-${platform}" tofile="${staging_folder}/work/${staging_hardware_folder}/../arduino-cli" />
     <chmod perm="755" file="${staging_folder}/work/${staging_hardware_folder}/../arduino-cli" />