using System.getProperty instead of System.getProperties to avoid using write permissions when it is not necessary. fixes #177