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

[David Magda]

I haven't had a chance to look at the code involved, so can't say at the 
moment if I have the skills to submit anything useful.


Also, I noticed that for the DEB file generated for the server-jre, in 
the Provides line, lists "java-browser-plugin". This is wrong, as the 
server-jre does not include the Java plug-ins (which is one of the key 
differences in the server versus non-server JREs, the other being extra 
monitoring software in the server JRE).

On 2015-01-27 10:25, Emmanuel Bourg wrote:
> Hi David,
>
> Thank you for the suggestion, that's a good idea. Would you want to
> provide a patch?
>
> Emmanuel Bourg
>