double-clicking a word in the search text-entry box and dragging it to the end of the string triggers the following Console entry (repeatable) in OS 10.2.8, but no bug report.
java.lang.NullPointerException
at javax.swing.plaf.basic.BasicTextUI$TextDropTargetL istener.restoreComponentState(BasicTextUI.java:202 5)
at javax.swing.plaf.basic.BasicDropTargetListener.dra gExit(BasicDropTargetListener.java:249)
[snipped--but saved]

If no automatic bug report is triggered , does that mean it is a known problem that doesn't need reporting?