Dear Java Team, I filed a bug against javahelper <https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=839173> a month and a half ago and there hasn't been a reply. I'd like to fix it myself, but I don't know where I'd send patches or what the procedure is. Please could you advise? Many thanks, George Bateman.