Store deny package names in system properties

(for now)