tree 2bb4204298d891445b3c1b1c98de2232af4bcdc3
parent 6fd1cc4422ae6282eaca53ea2a9e74372fa0abb8
author henryjen <none@none> 1378506960 -0700
committer henryjen <none@none> 1378506960 -0700
HG:rename-source hg

8024825: Some fixes are missing from java.util.stream spec update
Reviewed-by: mduigou