mirror of
https://github.com/nasa/trick.git
synced 2025-03-01 11:41:40 +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.