@Override
 public void setSootOptions(Options options) {
   // explicitly include packages for shorter runtime:
   List<String> includeList = new LinkedList<String>();
   includeList.add("java.lang.*");
   includeList.add("java.util.*");
   includeList.add("java.io.*");
   includeList.add("sun.misc.*");
   includeList.add("java.net.*");
   includeList.add("org.apache.http.*");
   includeList.add("de.test.*");
   includeList.add("soot.*");
   includeList.add("securibench.*");
   includeList.add("javax.servlet.*");
   includeList.add("com.oreilly.servlet.*");
   //		includeList.add("java.security.");
   //		includeList.add("javax.crypto.");
   options.set_include(includeList);
   options.set_output_format(Options.output_format_none);
 }