Summary of changes: 66ae52b... Update java requires to work with change in java provides i (*) c709f95... Fix merge conflicts. (*) 03104a4... Update to 5.12.66. (*) 58f2c40... Update to 5.12.66. (*) 603e50e... Update to 5.12.72. (*) (*) This commit already existed in another branch; no separate mail sent