dropmenu.jquery.js Do we really need this file?

Hi, theme developer thanks for the great work.
I wonder if the file dropmenu.jquery.js is really needed, cause I can't find a call from any theme file to it.
Is it OK if I delete it?

Thanks in advance
Lena