Indeed this is not javadoc as it doesn't start with two *'s. :) We should fix that and remove (non-javadoc)?