Javadocs for thread safety