Details in this [SO question](http://stackoverflow.com/questions/22217428/mac-jvm-rendering-jtabbedpane-differences-between-1-6-and-above).