Final java cleanup

- Package/directory agreement for Mutex
- Add copyright comment to Mutex
- Add ThreadLocalRandom to src/java