[#3758] ExecuteListener.warning() is not listed as a method in the
Javadoc