che-server/plugins/plugin-java/che-plugin-java-ext-jdt
Vladyslav Zhukovskyi 89b9cf679a
Correct process situation when project has been renamed (#9582)
* Correct process situation when project has been renamed

Signed-off-by: Vladyslav Zhukovskyi <vzhukovs@redhat.com>

* Formatting issue

Signed-off-by: Vladyslav Zhukovskyi <vzhukovs@redhat.com>

* Minor fixes

Signed-off-by: Vladyslav Zhukovskyi <vzhukovs@redhat.com>
2018-05-15 14:07:58 +03:00
..
org-eclipse-core-filebuffers RELEASE: Set next development version (#9669) 2018-05-11 10:27:31 +03:00
org-eclipse-core-filesystem RELEASE: Set next development version (#9669) 2018-05-11 10:27:31 +03:00
org-eclipse-core-resources RELEASE: Set next development version (#9669) 2018-05-11 10:27:31 +03:00
org-eclipse-jdt-ui Correct process situation when project has been renamed (#9582) 2018-05-15 14:07:58 +03:00
org-eclipse-jface RELEASE: Set next development version (#9669) 2018-05-11 10:27:31 +03:00
org-eclipse-jface-text RELEASE: Set next development version (#9669) 2018-05-11 10:27:31 +03:00
org-eclipse-ltk-core-refactoring RELEASE: Set next development version (#9669) 2018-05-11 10:27:31 +03:00
org-eclipse-search RELEASE: Set next development version (#9669) 2018-05-11 10:27:31 +03:00
org-eclipse-ui-ide RELEASE: Set next development version (#9669) 2018-05-11 10:27:31 +03:00
pom.xml RELEASE: Set next development version (#9669) 2018-05-11 10:27:31 +03:00