mirror of
https://github.com/nasa/trick.git
synced 2025-04-16 15:29:13 +00:00
Changed the java version extractor to look for an optional decimal and number past the decimal. Now it can properly find "9" as the version number.