--- a/jdk/src/share/classes/java/awt/EventQueue.java	Tue Dec 03 12:25:32 2013 -0800
+++ b/jdk/src/share/classes/java/awt/EventQueue.java	Tue Dec 03 16:20:44 2013 -0500
@@ -652,7 +652,7 @@
      * Dispatches an event. The manner in which the event is
      * dispatched depends upon the type of the event and the
      * type of the event's source object:
-     * <p>
+     *
      * <table border=1 summary="Event types, source types, and dispatch methods">
      * <tr>
      *     <th>Event Type</th>