I currently want to display the tracing results of a non-java application
and the native logger is not a viable solution for my project. I am
looking for exemplary trace files or a document defining the TPTP tracing
format, so I can convert my logs. I have seen this was done before with
Android trace files but I couldn't find any resources on that except the
presentation from EclipseCon :(.