Build #5874 [Consulo #3728]
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