added headers for compression.java