Official OpenJDK Java binary distribution
