CP: Properties.stringPropertyNames()

Used somewhere from `scala.tools.nsc.MainGenericRunner.main()`.