phoebe: added auto refreshing for flags.. not ideal, but a solution nevertheless
Merge branch 'master' of https://github.com/dirkstahlecker/ppat_project
mergee