That's great.
> They don't seem to be showing up in the .aj files for some reason,
> but I'll have a fiddle around and see what the problem is there.
It may well be the case that the Soot plugin expects a certain file
ending. Are you opening AJ files with the Java editor or with the AJ
editor?
Eric
-- Eric Bodden Sable Research Group, McGill University Montréal, Québec, CanadaReceived on Fri May 29 2009 - 14:51:01 BST
This archive was generated by hypermail 2.2.0 : Fri May 29 2009 - 15:00:11 BST