Added code verifying if the properties file and the associated decoders
correspond to each other.