hg: jdk9/client/jdk: 8153351: GTK Menu's have no border

[semyon.sadetsky at oracle.com]

Changeset: 12b94dc0e106
Author:    ssadetsky
Date:      2016-04-14 20:32 +0300
URL:       http://hg.openjdk.java.net/jdk9/client/jdk/rev/12b94dc0e106

8153351: GTK Menu's have no border
Reviewed-by: alexsch, serb

! src/java.desktop/share/classes/com/sun/java/swing/plaf/gtk/GTKPainter.java
! src/java.desktop/share/classes/com/sun/java/swing/plaf/gtk/GTKStyle.java