Fixed jdeb properties.
Added Astro to the distribution.
Merge pull request #997 from gerrieg/astro

Astro: fixed jdeb properties and added the binding to the distribution.