From e5589e1037e529c3c6cc583a8c8b2e1713da009f Mon Sep 17 00:00:00 2001
From: Maxim Manuylov <maxim.manuylov@gmail.com>
Date: Sat, 21 Jul 2012 16:12:25 +0400
Subject: [PATCH] better reporting of sdk version

---
 idea/src/org/jetbrains/jet/plugin/sdk/KotlinSdkUtil.java | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/idea/src/org/jetbrains/jet/plugin/sdk/KotlinSdkUtil.java b/idea/src/org/jetbrains/jet/plugin/sdk/KotlinSdkUtil.java
index 5092731be9d..779d72e4ee6 100644
--- a/idea/src/org/jetbrains/jet/plugin/sdk/KotlinSdkUtil.java
+++ b/idea/src/org/jetbrains/jet/plugin/sdk/KotlinSdkUtil.java
@@ -64,6 +64,14 @@ public class KotlinSdkUtil {
 
     @Nullable
     public static String getSDKVersion(@NotNull final String sdkHomePath) {
+        final String buildNumber = getSDKBuildNumber(sdkHomePath);
+        if (buildNumber == null) return null;
+        final int lastDotPos = buildNumber.lastIndexOf('.');
+        return lastDotPos == -1 ? buildNumber : buildNumber.substring(0, lastDotPos);
+    }
+
+    @Nullable
+    private static String getSDKBuildNumber(@NotNull final String sdkHomePath) {
         try {
             return FileUtil.loadFile(new File(sdkHomePath, "build.txt")).trim();
         }