gdb: update from 7.6.1 to 7.6.2
jflex: update from 1.4.1 to 1.4.3