Import destar

Jenkins doesn't like star imports as a matter of style. I'm personally not fussed either way.

@bencomp @lindareijnhoudt what do you think?