(Removed all @author JavaDoc directives, as they don't reflect reality anymore, and those with @author tags has agreed.)