[Javapathfinder-devel] StringWriter, PrintWriter

[Michal K. <mic...@gm...>]

Hi,

I have this piece of code (part of JUnit internals) run under JPF:

public String getTrace() {
   StringWriter stringWriter= new StringWriter();
   PrintWriter writer= new PrintWriter(stringWriter);
   getException().printStackTrace(writer);
   StringBuffer buffer= stringWriter.getBuffer();
   return buffer.toString();
}

It always returns empty string which a surprise for me because I can't find 
StringWriter and PrintWriter classes implemented in JPF. Why JPF doesn't throw 
java.lang.UnsatisfiedLinkError? And is there a chance these classes will be 
implemented soon?

Michal