Jimple does not support associating static final fields with constants. If we find a constant value in the constant table of the DEX or CLASS file, we instead associate a tag with the respective field. This however has the drawback of not surviving DEX -> JIMPLE -> DEX as the Jimple text file format has no way of storing tags. As a workaround, we now synthesize static initializers in <clinit> which assign these constants to the fields when reading in files. When reading the Jimple files back in, we synthesize tags from such assignments.