jStyleParser: update to version 1.13