What the @Deprecated annotation really means