bugfix in dalvik frontend of wala
Merge branch 'devel-master' into release-master