Good ideas for the DevKit

I think it was a smart idea to make the IDEA installations be special kinds of JDK's, and it makes developing plugins a little clearer and easier. The DevKit stuff is going very well, I want to say good job guys.