fixed charset issue

Author: rlogiacco

it.baeyens.arduino.core/src/it/baeyens/arduino/managers/Manager.java

@@ -11,15 +11,18 @@
  *******************************************************************************/
 package it.baeyens.arduino.managers;
 
+import java.io.BufferedReader;
 import java.io.File;
 import java.io.FileInputStream;
 import java.io.FileOutputStream;
 import java.io.FileReader;
 import java.io.IOException;
 import java.io.InputStream;
+import java.io.InputStreamReader;
 import java.io.Reader;
 import java.net.MalformedURLException;
 import java.net.URL;
+import java.nio.charset.Charset;
 import java.nio.file.Files;
 import java.nio.file.Path;
 import java.nio.file.Paths;
@@ -268,7 +271,7 @@ private static void loadLibraryIndex(boolean download) {
 				Files.copy(librariesUrl.openStream(), librariesPath, StandardCopyOption.REPLACE_EXISTING);
 			}
 			if (librariesFile.exists()) {
-				try (Reader reader = new FileReader(librariesFile)) {
+				try (InputStreamReader reader = new InputStreamReader(new FileInputStream(librariesFile), Charset.forName("UTF8"))) {
 					libraryIndex = new Gson().fromJson(reader, LibraryIndex.class);
 					libraryIndex.resolve();
 				}