On 08/18/2015 12:06 PM, David Holmes wrote: > Do changes still get pushed to jdk7u-dev? It hasn't been updated in 6 > months, while jdk7u master was last updated 4 months ago. No, we're not using jdk7u-dev; we don't have such a complex process. Just use 7u master. Andrew.