Test for Eclipse bug 76936