[571375] Added automatic system explorer refresh for renames

One name changes the system explorer is automatically refreshed so that
the elements are correctly sorted after the refresh.

Bug: https://bugs.eclipse.org/bugs/show_bug.cgi?id=571375
Change-Id: Ia7b2a2fb6d077c07d92f220317b4896cf02522ec
Signed-off-by: Alois Zoitl <alois.zoitl@gmx.at>
1 file changed