equal
deleted
inserted
replaced
1543 |
1543 |
1544 /** |
1544 /** |
1545 * A popup menu-specific separator. |
1545 * A popup menu-specific separator. |
1546 */ |
1546 */ |
1547 @SuppressWarnings("serial") |
1547 @SuppressWarnings("serial") |
1548 static public class Separator extends JSeparator |
1548 public static class Separator extends JSeparator |
1549 { |
1549 { |
1550 /** |
1550 /** |
1551 * Constructs a popup menu-specific Separator. |
1551 * Constructs a popup menu-specific Separator. |
1552 */ |
1552 */ |
1553 public Separator( ) |
1553 public Separator( ) |