Small fix to JAR export