Summary of changes: 0234e38... Add maven pom and depmap (*) 18c5c1b... Merge branch 'f17' into f18 (*) (*) This commit already existed in another branch; no separate mail sent