Javadoc
Fixes #1293