!7

import javax.swing.border.*;

p {
  while licensed { new TitledBorder(""); }
}