JBIDE-15915 dummy-commit to be reverted
Revert "JBIDE-15915 dummy-commit to be reverted"

This reverts commit 06efcbf6ce590ce38d0d679100648933ba242431.