Effective and efficient Java‐type obfuscation. (29th November 2019)