Update development version to 4.1 (from 4.0.1)
Update referenced maven plugin version numbers
Simplify ArrayPredictionContext.isEmpty()
Documentation updates prior to release
Merge pull request #298 from sharwell/build-updates

Build updates