Properties.stringPropertyNames

Used in `scala.tools.nsc.MainGenericRunner`.