Build JDK instead of JRE

This patch packs JDK instead of JRE. It required for some web servers (e.g. for generating JSPs).