Re: [arch-dev-public] What to do with JRE and JDK?