On Tue, 2016-04-26 at 13:28 +0100, Andrew Haley wrote: > Please tell us what the syntax of a jcheck'd tag name should be. tag_re = re.compile("tip$|jdk-([1-9]([0-9]*)(\.[0-9]){0,3})\+([0-9]+)$|jdk[4-9](u\d{1,3})?-b\d{2,3}$|hs\d\d(\.\d{1,2})?-b\d\d$") Regards, Ed.