Summary of changes: 81ac290... Fix building of Java zones (*) 91dcb97... Merge branch 'f14' into f15 (*) 31fca27... Merge branch 'f15' into f16 (*) This commit already existed in another branch; no separate mail sent