A Java exception parser