MVEL-7277 Use Javadoc for deprecation comment