DevTools 0.7

Updated for API 12, new obfuscation methods ;)