Double constants cannot be parsed in the new parser framework

[mattulbrich]

Description

Double constants ending in a dot like 2. are legit Java literals but they throw off the lexer/parser in KeY.

Reproducible

always

Steps to reproduce

Load

class A {
    void m() {
        double a = 1.0;
        double d = 2./a;
    }
}

Expected: KeY should load this, albeit w/o contracts.
But currently, does not load.

Additional information

A.java:5/20: (line 5,col 20) Java syntax error: unexpected ".", expected one of "!=" "%" "%=" "&" "&&" "&=" ...

---

• Commit: d7cd7b8