platform: restart build process on Java compiler settings modification
authorRoman Shevchenko <roman.shevchenko@jetbrains.com>
Tue, 23 Dec 2014 12:03:03 +0000 (13:03 +0100)
committerRoman Shevchenko <roman.shevchenko@jetbrains.com>
Tue, 23 Dec 2014 12:03:03 +0000 (13:03 +0100)
commitb2b1ace31c4c909751291bfe2f740b3872ee4a46
tree9cd572043f79e03fcdee102f87f50747a2170c84
parentd5f0977992c187577a8245765433a5a71ee391e8
platform: restart build process on Java compiler settings modification

(support request #48593)
java/compiler/impl/src/com/intellij/compiler/options/JavaCompilersTab.java