Buildfile: Choose final maven coordinates.
Fix floating point lexing: Missing chars and bad token stream.