Fixing JdkAugmenter inability to add interfaces that are already implemented