<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Hi <font style="font-size:11pt" face="Calibri, sans-serif" color="#000000">Bernhard
</font>,</div>
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
It works as you said, thank u so much!</div>
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<b>Directory structure</b></div>
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span>D:\flowproject\soot\test<br>
</span>
<div>│ rt.jar<br>
</div>
<div>│ soot-trunk.jar<br>
</div>
│<br>
<div>├─bin<br>
</div>
<div>│ └─TriangleClass<br>
</div>
<span>│ Triangle.class</span> <br>
</div>
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<b>Command</b></div>
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
D:\flowproject\soot\test> java -cp soot-trunk.jar soot.Main -cp bin;rt.jar TriangleClass.Triangle<br>
</div>
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<hr style="display:inline-block;width:98%" tabindex="-1">
<div id="divRplyFwdMsg" dir="ltr"><font style="font-size:11pt" face="Calibri, sans-serif" color="#000000"><b>发件人:</b> Bernhard Berger <berber@tzi.de><br>
<b>发送时间:</b> 2018年8月22日 19:47<br>
<b>收件人:</b> 周 筱川<br>
<b>抄送:</b> soot-list@CS.McGill.CA<br>
<b>主题:</b> Re: [Soot-list] soot.CompilationDeathException: there were errors during parsing and/or type checking (JastAdd frontend)</font>
<div> </div>
</div>
<meta content="text/html; charset=utf-8">
<div class="" style="word-wrap:break-word; line-break:after-white-space">Hi,
<div class=""><br class="">
</div>
<div class="">it looks like you do not set your class path correctly. The class path (that is passed to Soot) tase to be configured the same way the java class path would be configured.</div>
<div class=""><br class="">
</div>
<div class="">Let’s assume you compile your Triangle class to ./bin/TargetClass/Triangle.class. The correct command line would be java -cp soot.jar soot.Main -cp bin;rt.jar TargetClass.Triangle. You have to use the same class path you would use if there would
be a main method in Triangle and you want to run that method. </div>
<div class="">
<div><br class="">
</div>
<div>Regards, Bernhard</div>
<div><br class="">
<blockquote type="cite" class="">
<div class="">On 22 Aug 2018, at 15:57, 周 筱川 <<a href="mailto:cobra@live.com" class="">cobra@live.com</a>> wrote:</div>
<br class="x_Apple-interchange-newline">
<div class="">
<div class="" style="font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; font-family:Calibri,Helvetica,sans-serif; font-size:12pt">
Hi there ,<br class="">
</div>
<div class="" style="font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; font-family:Calibri,Helvetica,sans-serif; font-size:12pt">
I figured out the previous problem . as Bernhard said ,I should compile the .java files to .class files first while working with JDK8 . It is also indicated in a official tutorial(<span class="x_Apple-converted-space"> </span><a href="https://github.com/Sable/soot/wiki/Introduction:-Soot-as-a-command-line-tool" id="LPNoLP484091" class="">https://github.com/Sable/soot/wiki/Introduction:-Soot-as-a-command-line-tool
)</a><br class="">
<br class="">
<blockquote class="" style="border-color:rgb(200,200,200); border-left-width:3px; border-left-style:solid; padding-left:1ex; margin-left:0.8ex; color:rgb(102,102,102)">
<div class="" style="margin-top:0px; margin-bottom:0px">Now, if you're working with JDK8, these Java files need to be compiled before they can be passed on as command-line parameters</div>
</blockquote>
<div class="" style="margin-top:0px; margin-bottom:0px"><br class="">
</div>
<div class="" style="margin-top:0px; margin-bottom:0px">but there's another problem when handling a class with package</div>
<div class="" style="margin-top:0px; margin-bottom:0px"><br class="">
</div>
<div class="" style="margin-top:0px; margin-bottom:0px"><b class="">Java code</b></div>
<blockquote class="" style="border-color:rgb(200,200,200); border-left-width:3px; border-left-style:solid; padding-left:1ex; margin-left:0.8ex; color:rgb(102,102,102)">
<div class="" style="margin-top:0px; margin-bottom:0px"><span class="">package TriangleClass;<br class="">
</span>
<div class=""><br class="">
</div>
<div class="">public class Triangle {<br class="">
</div>
<div class=""> public String triangle(int a, int b, int c){<br class="">
</div>
<div class=""><br class="">
</div>
<div class=""> if(a > 0 && b > 0 && c >0){<br class="">
</div>
<div class=""> if(a + b >c)<br class="">
</div>
<div class=""> {<br class="">
</div>
<div class=""> if(a == b || b ==c || a ==c)<br class="">
</div>
<div class=""> {<br class="">
</div>
<div class=""> if(a == b && b == c)<br class="">
</div>
<div class=""> {<br class="">
</div>
<div class=""> return "equilateral";<br class="">
</div>
<div class=""> }<br class="">
</div>
<div class=""> return "isosceles";<br class="">
</div>
<div class=""> }<br class="">
</div>
<div class=""> else{<br class="">
</div>
<div class=""> return "scalene";<br class="">
</div>
<div class=""> }<br class="">
</div>
<div class=""> }<br class="">
</div>
<div class=""> else{<br class="">
</div>
<div class=""> return "Not Triangle";<br class="">
</div>
<div class=""> }<br class="">
</div>
<div class=""> }<br class="">
</div>
<div class=""> else{<br class="">
</div>
<div class=""> return "Not Triangle";<br class="">
</div>
<div class=""> }<br class="">
</div>
<div class=""> }<br class="">
</div>
<div class=""><br class="">
</div>
<div class=""> public int a;<br class="">
</div>
<div class=""> public int b;<br class="">
</div>
<div class=""> public int c;<br class="">
</div>
<span class="">}</span><br class="">
</div>
</blockquote>
<div class="" style="margin-top:0px; margin-bottom:0px">I compile it into a .class file ,then tried two different commands as follows:</div>
<div class="" style="margin-top:0px; margin-bottom:0px"><br class="">
</div>
<div class="" style="margin-top:0px; margin-bottom:0px"><span class="">D:\flowproject\soot\test><b class="">java -cp soot-trunk.jar soot.Main -cp .;rt.jar Triangle</b><br class="">
</span>
<div class="">Soot started on Wed Aug 22 21:37:47 CST 2018<br class="">
</div>
<div class="">java.lang.RuntimeException:<b class=""><span class="x_Apple-converted-space"> </span>Class names not equal! TriangleClass.Triangle != Triangle</b><br class="">
</div>
<div class=""> at soot.asm.SootClassBuilder.visit(SootClassBuilder.java:99)<br class="">
</div>
<div class=""> at org.objectweb.asm.ClassReader.accept(ClassReader.java:637)<br class="">
</div>
<div class=""> at org.objectweb.asm.ClassReader.accept(ClassReader.java:521)<br class="">
</div>
<div class=""> at soot.asm.AsmClassSource.resolve(AsmClassSource.java:62)<br class="">
</div>
<div class=""> at soot.SootResolver.bringToHierarchyUnchecked(SootResolver.java:240)<br class="">
</div>
<div class=""> at soot.SootResolver.bringToHierarchy(SootResolver.java:212)<br class="">
</div>
<div class=""> at soot.SootResolver.bringToSignatures(SootResolver.java:273)<br class="">
</div>
<div class=""> at soot.SootResolver.processResolveWorklist(SootResolver.java:174)<br class="">
</div>
<div class=""> at soot.SootResolver.resolveClass(SootResolver.java:137)<br class="">
</div>
<div class=""> at soot.Scene.loadClass(Scene.java:861)<br class="">
</div>
<div class=""> at soot.Scene.loadClassAndSupport(Scene.java:847)<br class="">
</div>
<div class=""> at soot.Scene.loadNecessaryClass(Scene.java:1577)<br class="">
</div>
<div class=""> at soot.Scene.loadNecessaryClasses(Scene.java:1590)<br class="">
</div>
<div class=""> at soot.Main.run(Main.java:248)<br class="">
</div>
<span class=""> at soot.Main.main(Main.java:144)</span><br class="">
</div>
<div class="" style="margin-top:0px; margin-bottom:0px"><br class="">
</div>
<div class="" style="margin-top:0px; margin-bottom:0px"><br class="">
</div>
<div class="" style="margin-top:0px; margin-bottom:0px"><span class="">D:\flowproject\soot\test><b class="">java -cp soot-trunk.jar soot.Main -d ./xxx -cp .;rt.jar TriangleClass.Triangle</b><br class="">
</span>
<div class="">Soot started on Wed Aug 22 21:38:04 CST 2018<br class="">
</div>
<div class="">soot.SootResolver$SootClassNotFoundException:<b class=""><span class="x_Apple-converted-space"> </span>couldn't find class: TriangleClass.Triangle<span class="x_Apple-converted-space"> </span></b>(is your soot-class-path set properly?)<br class="">
</div>
<div class=""> at soot.SootResolver.bringToHierarchyUnchecked(SootResolver.java:232)<br class="">
</div>
<div class=""> at soot.SootResolver.bringToHierarchy(SootResolver.java:212)<br class="">
</div>
<div class=""> at soot.SootResolver.bringToSignatures(SootResolver.java:273)<br class="">
</div>
<div class=""> at soot.SootResolver.processResolveWorklist(SootResolver.java:174)<br class="">
</div>
<div class=""> at soot.SootResolver.resolveClass(SootResolver.java:137)<br class="">
</div>
<div class=""> at soot.Scene.loadClass(Scene.java:861)<br class="">
</div>
<div class=""> at soot.Scene.loadClassAndSupport(Scene.java:847)<br class="">
</div>
<div class=""> at soot.Scene.loadNecessaryClass(Scene.java:1577)<br class="">
</div>
<div class=""> at soot.Scene.loadNecessaryClasses(Scene.java:1590)<br class="">
</div>
<div class=""> at soot.Main.run(Main.java:248)<br class="">
</div>
<div class=""> at soot.Main.main(Main.java:144)<br class="">
</div>
<span class=""></span><br class="">
</div>
<div class="" style="margin-top:0px; margin-bottom:0px"><br class="">
</div>
<div class="" style="margin-top:0px; margin-bottom:0px">when I handle a simple class without package , it can be done successfully.</div>
<div class="" style="margin-top:0px; margin-bottom:0px"><br class="">
</div>
<div class="" style="margin-top:0px; margin-bottom:0px"><b class="">Example<span class="x_Apple-converted-space"> </span></b><br class="">
</div>
<div class="" style="margin-top:0px; margin-bottom:0px"><br class="">
</div>
<blockquote class="" style="border-color:rgb(200,200,200); border-left-width:3px; border-left-style:solid; padding-left:1ex; margin-left:0.8ex; color:rgb(102,102,102)">
<div class="" style="margin-top:0px; margin-bottom:0px"><span class=""> public class GetGreeting <br class="">
</span>
<div class=""> { <br class="">
</div>
<div class=""> public static void main(String [] args) <br class="">
</div>
<div class=""> { <br class="">
</div>
<div class=""> System.out.println("Hello world"); <br class="">
</div>
<div class=""> <span class="x_Apple-converted-space"> </span><br class="">
</div>
<div class=""> } <br class="">
</div>
<span class=""> } </span><br class="">
</div>
</blockquote>
<div class="" style="margin-top:0px; margin-bottom:0px"><br class="">
</div>
<div class="" style="margin-top:0px; margin-bottom:0px">I've searched anything about the error messages a long time online , still without a clue .</div>
<div class="" style="margin-top:0px; margin-bottom:0px">please help , thank you!<br class="">
</div>
<div class="" style="margin-top:0px; margin-bottom:0px"><br class="">
</div>
<div class="" style="margin-top:0px; margin-bottom:0px"><br class="">
</div>
<br class="">
</div>
<hr tabindex="-1" class="" style="font-family:Helvetica; font-size:12px; font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; display:inline-block; width:702.65625px">
<span class="" style="font-family:Helvetica; font-size:12px; font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; float:none; display:inline!important"></span>
<div id="x_divRplyFwdMsg" dir="ltr" class="" style="font-family:Helvetica; font-size:12px; font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none">
<font class="" style="font-size:11pt" face="Calibri, sans-serif"><b class="">发件人:</b><span class="x_Apple-converted-space"> </span>周 筱川 <<a href="mailto:cobra@live.com" class="">cobra@live.com</a>><br class="">
<b class="">发送时间:</b><span class="x_Apple-converted-space"> </span>2018年8月20日 6:25<br class="">
<b class="">收件人:</b><span class="x_Apple-converted-space"> </span>Bernhard Berger<br class="">
<b class="">抄送:</b><span class="x_Apple-converted-space"> </span><a href="mailto:soot-list@CS.McGill.CA" class="">soot-list@CS.McGill.CA</a><br class="">
<b class="">主题:</b><span class="x_Apple-converted-space"> </span>答复: [Soot-list] soot.CompilationDeathException: there were errors during parsing and/or type checking (JastAdd frontend)</font>
<div class=""> </div>
</div>
<div dir="ltr" class="" style="font-family:Helvetica; font-size:12px; font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none">
<div class="" style="font-family:Calibri,Helvetica,sans-serif; font-size:12pt">Thank you Bernhard , i'll try again and give a feedback later.<br class="">
</div>
<hr tabindex="-1" class="" style="display:inline-block; width:702.65625px">
<div id="x_x_divRplyFwdMsg" dir="ltr" class=""><font class="" style="font-size:11pt" face="Calibri, sans-serif"><b class="">发件人:</b><span class="x_Apple-converted-space"> </span>Bernhard Berger <<a href="mailto:berber@tzi.de" class="">berber@tzi.de</a>><br class="">
<b class="">发送时间:</b><span class="x_Apple-converted-space"> </span>2018年8月20日 6:19<br class="">
<b class="">收件人:</b><span class="x_Apple-converted-space"> </span>周 筱川<br class="">
<b class="">抄送:</b><span class="x_Apple-converted-space"> </span><a href="mailto:soot-list@CS.McGill.CA" class="">soot-list@CS.McGill.CA</a><br class="">
<b class="">主题:</b><span class="x_Apple-converted-space"> </span>Re: [Soot-list] soot.CompilationDeathException: there were errors during parsing and/or type checking (JastAdd frontend)</font>
<div class=""> </div>
</div>
<div class="" style="word-wrap:break-word; line-break:after-white-space">Hi,
<div class=""><br class="">
</div>
<div class="">please try to compile your source code using javac and analyze the bytecode instead of the source. As far as I know, the bytecode front end is better supported than the source front end.</div>
<div class=""><br class="">
</div>
<div class="">Regards, Bernhard<br class="">
<div class="">
<div class=""><br class="">
<blockquote type="cite" class="">
<div class="">On 20 Aug 2018, at 05:38, 周 筱川 <<a href="mailto:cobra@live.com" class="">cobra@live.com</a>> wrote:</div>
<br class="x_x_x_Apple-interchange-newline">
<div class="">
<div class="" style="font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; font-family:Calibri,Helvetica,sans-serif; font-size:12pt">
Hi there,</div>
<div class="" style="font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; font-size:12pt">
I'm a beginner for Soot, while trying to parse some java files , there's an error <span class=""></span>"soot.CompilationDeathException: there were errors during parsing and/or type checking (JastAdd frontend)".<span class="x_x_x_Apple-converted-space"> </span><br class="">
</div>
<div class="" style="font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; font-size:12pt">
Thank you very much for any advice!<br class="">
<br class="">
<b class=""><span class="" style="font-size:14pt">Detail as follows:</span></b><br class="">
<br class="">
<b class="">Tried commands:</b><br class="">
</div>
<div class="" style="font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; font-size:12pt">
java -cp D:\flowproject\soot\sootclasses-trunk-jar-with-dependencies.jar -debug soot.Main -cp . CardQueryService</div>
<div class="" style="font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; font-size:12pt">
java -cp D:\flowproject\soot\sootclasses-trunk-jar-with-dependencies.jar soot.Main --soot-classpath .;"%JAVA_HOME%"\jre\lib\rt.jar CardQueryService<br class="">
<br class="">
</div>
<div class="" style="font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; font-size:12pt">
<b class="">Error Message<span class="x_x_x_Apple-converted-space"> </span></b><br class="">
</div>
<div class="" style="font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; font-size:12pt">
<span class="">Soot started on Mon Aug 20 11:20:20 CST 2018<br class="">
</span>
<div class="">soot.CompilationDeathException: there were errors during parsing and/or type checking (JastAdd frontend)<br class="">
</div>
<div class=""> at soot.JastAddInitialResolver.formAst(JastAddInitialResolver.java:66)<br class="">
</div>
<div class=""> at soot.JavaClassSource.resolve(JavaClassSource.java:57)<br class="">
</div>
<div class=""> at soot.SootResolver.bringToHierarchyUnchecked(SootResolver.java:240)<br class="">
</div>
<div class=""> at soot.SootResolver.bringToHierarchy(SootResolver.java:212)<br class="">
</div>
<div class=""> at soot.SootResolver.bringToSignatures(SootResolver.java:273)<br class="">
</div>
<div class=""> at soot.SootResolver.processResolveWorklist(SootResolver.java:174)<br class="">
</div>
<div class=""> at soot.SootResolver.resolveClass(SootResolver.java:137)<br class="">
</div>
<div class=""> at soot.Scene.loadClass(Scene.java:861)<br class="">
</div>
<div class=""> at soot.Scene.loadClassAndSupport(Scene.java:847)<br class="">
</div>
<div class=""> at soot.Scene.loadNecessaryClass(Scene.java:1577)<br class="">
</div>
<div class=""> at soot.Scene.loadNecessaryClasses(Scene.java:1590)<br class="">
</div>
<div class=""> at soot.Main.run(Main.java:248)<br class="">
</div>
<span class=""> at soot.Main.main(Main.java:144)</span></div>
<div class="" style="font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; font-size:12pt">
<br class="">
</div>
<div class="" style="font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; font-size:12pt">
<b class="">Java File Example:</b></div>
<div class="" style="font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; font-size:12pt">
plz see the attachment<br class="">
</div>
<div class="" style="font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; font-size:12pt">
<br class="">
</div>
<div class="" style="font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; font-size:12pt">
<br class="">
</div>
<div class="" style="font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; font-size:12pt">
<br class="">
</div>
<div class="" style="font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; font-size:12pt">
<br class="">
</div>
<div class="" style="font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; font-size:12pt">
<br class="">
</div>
<span id="x_x_x_cid:B0E2354A-8145-46B6-8EAD-D7F2A9DA9E1E@fritz.box" class=""><CardQueryService.java></span><span class="" style="font-family:Helvetica; font-size:12px; font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; float:none; display:inline!important">_______________________________________________</span><br class="" style="font-family:Helvetica; font-size:12px; font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none">
<span class="" style="font-family:Helvetica; font-size:12px; font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; float:none; display:inline!important">Soot-list
mailing list</span><br class="" style="font-family:Helvetica; font-size:12px; font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none">
<a href="mailto:Soot-list@CS.McGill.CA" class="" style="font-family:Helvetica; font-size:12px; font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px">Soot-list@CS.McGill.CA</a><br class="" style="font-family:Helvetica; font-size:12px; font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none">
<a href="https://mailman.cs.mcgill.ca/mailman/listinfo/soot-list" class="" style="font-family:Helvetica; font-size:12px; font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px">https://mailman.CS.McGill.CA/mailman/listinfo/soot-list</a></div>
</blockquote>
</div>
</div>
</div>
</div>
</div>
</div>
</blockquote>
</div>
<br class="">
</div>
</div>
</body>
</html>