From 4b67d6e09393dce1f41dc32da41ecde7931a318a Mon Sep 17 00:00:00 2001
From: Alexey Kudravtsev <cdr@intellij.com>
Date: Fri, 17 Feb 2012 15:39:02 +0400
Subject: [PATCH] support jdk 1.7

---
 plugins/devkit/src/projectRoots/IdeaJdk.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/plugins/devkit/src/projectRoots/IdeaJdk.java b/plugins/devkit/src/projectRoots/IdeaJdk.java
index f80571b3f6f4..6196c403c43a 100644
--- a/plugins/devkit/src/projectRoots/IdeaJdk.java
+++ b/plugins/devkit/src/projectRoots/IdeaJdk.java
@@ -293,6 +293,7 @@ public class IdeaJdk extends SdkType implements JavaSdkType {
       case 48: return JavaSdkVersion.JDK_1_4;
       case 49: return JavaSdkVersion.JDK_1_5;
       case 50: return JavaSdkVersion.JDK_1_6;
+      case 51: return JavaSdkVersion.JDK_1_7;
     }
     return null;
   }