diff -r ae361e7f435a -r c1238fcc9515 make/build.properties --- a/make/build.properties Tue Nov 08 17:06:58 2011 -0800 +++ b/make/build.properties Mon Nov 14 08:09:47 2011 -0800 @@ -196,3 +196,7 @@ # An empty value means all tests # Override as desired to run a specific set of tests jtreg.tests = + +# Check style configuration +# overridable name and version +checkstyle.name.version = checkstyle-5.4