From 484c5a292b4f457ad280af47c992c2be1887996a Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@intellij.com>
Date: Thu, 11 Jun 2009 19:54:36 +0400
Subject: [PATCH] force building plugin with JDK 1.5

---
 python/build/build-plugin-bootstrap.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/python/build/build-plugin-bootstrap.xml b/python/build/build-plugin-bootstrap.xml
index 1aad1d8ad75a..aab3f812dc79 100644
--- a/python/build/build-plugin-bootstrap.xml
+++ b/python/build/build-plugin-bootstrap.xml
@@ -20,7 +20,7 @@
   </target>
 
   <target name="main" depends="clean,unzip">
-    <java failonerror="true" classname="org.apache.tools.ant.Main" fork="true">
+    <java failonerror="true" classname="org.apache.tools.ant.Main" fork="true" jvm="${jdk15.home}/bin/java">
 
       <jvmarg line="-Xms64m -Xmx512m"/>
       <jvmarg line="-Dbuild.number=${build.number}"/>