Summary of changes: 75d2a0d... introduce license macro (*) 519faba... build fix for Java8 (*) cd9edb0... Merge branch 'master' into f22 (*) This commit already existed in another branch; no separate mail sent