in general, nice to use Javadoc `@deprecated` too to tell developers what to use instead