What are the rules around distributing OpenJDK as part of a commercial software/hardware product?