JetBrains / intellij-community IntelliJ IDEA & IntelliJ Platform developer-tools editor ui-components