don't visit redundant superinterfaces more then once

https://github.com/eclipse-jdt/eclipse.jdt.ui/issues/1922