[Soot-list] Eclipse ColorTags Disappearing

[Jack Griffith]

Hi,

I am experimenting with ColorTags in Eclipse, and I seem to have
encountered a problem. The tags appear correctly for a brief second,
then almost all of them disappear!

I thought this was a problem with my implementation of tagging, but I
now seem to have the same problem with the built-in NullPointerColourer
as well, whereas I did not last week! I have made a fresh installation
of eclipse and soot since my last test, perhaps this has had some
influence on the outcome?

For instance, the only ColorTags that persist in the test program below
(when running the built-in NullPointerColorer) are:
	1. BLUE tag on String[] args (indicating nullness unknown)
	2. GREEN tag on "World" (indicating not null)

public class Test
{
    public static void main(String[] args)
    {
        String str1 = null;
        String str2 = "Hello";
        
        String str3 = null;
        String str4 = "World";
    }
}

The Soot analysis I run is:

soot.Main --f J --p jap.npcolorer enabled:true --polyglot
--d .../Project/workspace/SimpleBodyTransformer/sootOutput --cp ...
--keep-line-number --xml-attributes --src-prec java Test

I think the crucial point is that all ColorTag's appear correctly very
briefly, then disappear!

I would really appreciate any insights on this problem.

Thanks
Jack