store random prefix/port info in properties file

This fixes #72