Terminology fix: JRE => Java app server