border property fails on JList

/* setenv JDKHOME /home/hmuller/ws/jdk12/build/solaris
 * ${JDKHOME}/bin/javac -classpath ${JDKHOME}/classes JListBorder.java
 * ${JDKHOME}/bin/java -classpath .:${JDKHOME}/classes JListBorder
 */

import java.awt.*;
import java.awt.event.*;
import java.awt.swing.*;
import java.awt.swing.event.*;
import java.awt.swing.border.*;


/**
 * Create a JList with a big red border. As of Swing0.6, the border
 * obscures the list items.
 */
public class JListBorder
{
    public static void main(String[] args)
    {
JList list = new JList(new String[]{"one", "two", "free", "four"});
list.setBorder(new LineBorder(Color.red, 10));

WindowListener l = new WindowAdapter() {
public void windowClosing(WindowEvent e) {System.exit(0);}
};
JFrame f = new JFrame("JListBorder");
f.addWindowListener(l);
f.getContentPane().add(list);
f.pack();
f.show();
    }
}