Fix build on JDK1.8.
Fix how we find VERSION.txt, now that DefaultRules.xml is obsolete.