patch for eclipse.jdt.ui project: simplified tab policy handling in
properties window