Intellij config: pick up JDK definition from build.properties file under lucene/ or in home dir, and use it to populate config, so that updating doesnt have to involve manually setting the JDK.  Example line from my lucene/build.properties:
idea.jdk=project-jdk-name="1.7" project-jdk-type="JavaSDK"
(merged trunk r1524883)

git-svn-id: https://svn.apache.org/repos/asf/lucene/dev/branches/branch_4x@1524884 13f79535-47bb-0310-9956-ffa450edef68