Der bereits vorher installierte Editor bei mir ist dieser:
screenshot.1225.png

Der aus dem SDK der hier:
screenshot.1226.png