Merge branch 'fix/exec/null2-ascii-encoding' into 'master'

Fix ASCII encoding in exec/Nulls2.java

See merge request !63
6 jobs for master in 26 minutes and 34 seconds (queued for 1 second)