From c21b8b74459f6e70feab5f0a3a428e778a41108f Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Thu, 26 Mar 2015 17:26:29 +0100
Subject: [PATCH] Versions: replacing ending "b" with .1

---
 .../src/cc/arduino/contributions/VersionComparator.java        | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/arduino-core/src/cc/arduino/contributions/VersionComparator.java b/arduino-core/src/cc/arduino/contributions/VersionComparator.java
index 39d38d8eb9..156f078e82 100644
--- a/arduino-core/src/cc/arduino/contributions/VersionComparator.java
+++ b/arduino-core/src/cc/arduino/contributions/VersionComparator.java
@@ -72,6 +72,9 @@ public boolean greaterThan(String a, String b) {
   }
 
   private Version valueOf(String ver) {
+    if (ver.endsWith("b")) {
+      ver = ver.substring(0, ver.lastIndexOf("b")) + ".1";
+    }
     String[] verParts = ver.split("\\.");
     if (verParts.length < 3) {
       if (verParts.length == 2) {