private__get_jdk_arch() {
	echo i386
}

private__get_icedtea_arch() {
	echo i586
}
