--- a/jdk/src/share/classes/java/awt/event/MouseWheelEvent.java	Wed Jul 05 18:09:43 2017 +0200
+++ b/jdk/src/share/classes/java/awt/event/MouseWheelEvent.java	Thu Jun 07 18:05:09 2012 -0700
@@ -27,6 +27,8 @@
 
 import java.awt.Component;
 
+import javax.tools.annotation.GenerateNativeHeader;
+
 /**
  * An event which indicates that the mouse wheel was rotated in a component.
  * <P>
@@ -97,6 +99,8 @@
  * @since 1.4
  */
 
+/* No native methods here, but the constants are needed in the supporting JNI code */
+@GenerateNativeHeader
 public class MouseWheelEvent extends MouseEvent {
 
     /**