Wang Jun

I think there should use `URLEncoder.encode(thePath, "UTF-8");` to escape space, below is exception trace. ``` Caused by: java.net.URISyntaxException: Illegal character in path at index 16: file:/C:/Program Files/Java/jdk1.8.0_45/jre/../lib/tools.jar at java.net.URI$Parser.fail(URI.java:2848) at...

**Exact location of issue** Conversion fails to complete. **Problem details** Error-cascade from lack of support of `{forest}` in forest.sty DG: edited description for clarity

Reloading agent exited via exception

1

``` java.lang.RuntimeException: Reloading agent exited via exception, please raise a jira at org.springsource.loaded.agent.ClassPreProcessorAgentAdapter.transform(ClassPreProcessorAgentAdapter.java:110) at sun.instrument.TransformerManager.transform(TransformerManager.java:188) at sun.instrument.InstrumentationImpl.transform(InstrumentationImpl.java:424) at sun.reflect.UnsafeFieldAccessorFactory.newFieldAccessor(UnsafeFieldAccessorFactory.java:77) at sun.reflect.ReflectionFactory.newFieldAccessor(ReflectionFactory.java:140) at java.lang.reflect.Field.acquireFieldAccessor(Field.java:1057) at java.lang.reflect.Field.getFieldAccessor(Field.java:1038) at java.lang.reflect.Field.getLong(Field.java:591) at java.io.ObjectStreamClass.__sljlrfgl(ObjectStreamClass.java) at...