Preverify with ProGuard

I have found this:ProGuard Examples.
It seems to me, that ProGuard written in java and has built-in Preverify. With this maybe I can complete my Java compile-chain in Pocket PC as I wrote it here and here.

DobDob

Understanding Flash displacement map filter : Emanuele Feronato

Article