hg: code-tools/jtreg: allow javac options to be specified for requires.extraPropDefns

[jonathan.gibbons at oracle.com]

Changeset: fb44ada44f4d
Author:    jjg
Date:      2016-02-04 15:00 -0800
URL:       http://hg.openjdk.java.net/code-tools/jtreg/rev/fb44ada44f4d

allow javac options to be specified for requires.extraPropDefns

! src/share/classes/com/sun/javatest/regtest/ExtraPropDefns.java
! src/share/classes/com/sun/javatest/regtest/TestProperties.java