example or documents please

trying to figure out how to use this in a `Jenkinsfile`, finally got it to do something...

``` groovy
withCredentials([[$class: 'AmazonWebServicesCredentialsBinding', credentialsId: 'dev', variable: 'AWS_ACCESS_KEY_ID']]) {
sh "echo this is ${env.AWS_ACCESS_KEY_ID}"
sh "echo this is ${env.AWS_SECRET_ACCESS_KEY}"
}
```

just displays ***\* but does not crash the script

Can someone give post a working hello world type code snippet example please?
thanks!

Start by reproducing the supplied withCredentials example in a Jenkinsfile, using the AmazonWebServicesCredentialsBinding entry point and the shown environment variables. Document a minimal working hello-world snippet and explain the expected masking of credential values without exposing secrets.

Written by the indexing model from the issue text.