A simple ARC header extractor using the JWAT tools