If you have problems with Smack, make sure you try aSmack, especially this version (it has made some significant improvements, the original seems to be no longer supported).
If you have problems with "stability", the question of them as separate issues may be worthwhile (if you have not already done so).
Finally, although I know at least one Java library that you could run to work with Andoid, Stroke . These are the first days for this, and I believe that it does not yet have a DNS library that runs on Android, but one could associate it with what it does. It is written from scratch to meet the latest specifications of XMPP developers who are actively involved in developing these specifications.