Merge "Script to fix license headers and copyrights in Java sources"