src/Pure/GUI/wrap_panel.scala

--- a/src/Pure/GUI/wrap_panel.scala	Sat May 19 20:42:34 2018 +0200
+++ b/src/Pure/GUI/wrap_panel.scala	Sun May 20 11:57:17 2018 +0200
@@ -3,7 +3,7 @@
 
 Panel with improved FlowLayout for wrapping of components over
 multiple lines, see also
-http://tips4java.wordpress.com/2008/11/06/wrap-layout/ and
+https://tips4java.wordpress.com/2008/11/06/wrap-layout/ and
 scala.swing.FlowPanel.
 */