Revision 1524906

Intellij config: JDK setup: look for ${idea.jdk} property in the local lucene/build.properties first, before looking in the files under ${user.home}