Build #5872 [Consulo #3727]
Merge branch 'master' of github.com:consulo/consulo-junit # Conflicts: # plugin/src/main/java/module-info.java
Merge branch 'master' of github.com:consulo/consulo-junit # Conflicts: # plugin/src/main/java/module-info.java