Some DexCodeElement methods marked final