added dist option
fixed bug in build.xml
Merge branch 'paddatrapper-master'
Merge branch 'master' of github.com:Progether/JAdventure