Processed: retitle 935842

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> retitle 935842 jh_build: Make java source version configurable
Bug #935842 [javahelper] jh_buld: Make java source version configurable
Changed Bug title to 'jh_build: Make java source version configurable' from 'jh_buld: Make java source version configurable'.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
935842: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=935842
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems