Prevent rebuild triggered by type hierarchy restoration#2385

steffenschmitt1 wants to merge 1 commit intoeclipse-jdt:mastereclipse-jdt/eclipse.jdt.ui:masterfrom

steffenschmitt1:mastersteffenschmitt1/eclipse.jdt.ui:masterCopy head branch name to clipboard