Yes you are right. I just find the AndroidTool from Firefly. So I would put the link of the new AndroidTool as well as the RKDevtools.

Thanks a lot