jupp: Update from 3.1jupp30 to 3.1jupp31