Bug 456076 - [RAP] TabBox layout issue with different Tab heights

https://bugs.eclipse.org/bugs/show_bug.cgi?id=456076