// Note: painting code, cannot test
public void testPaintTopTabBorder() {
        // Note: painting code, cannot test
    }
public void testPaintTopTabBorder() {
// Note: painting code, cannot test
}
public void testPaintTopTabBorder() {
// Note: painting code, cannot test
}
public void testPaintTopTabBorder() {
// Note: painting code, cannot test
}