Bug#776389: java-package: the package name is the same for the regular JRE and the server JRE

[Emmanuel Bourg]

Hi David,

Thank you for the suggestion, that's a good idea. Would you want to
provide a patch?

Emmanuel Bourg