_JAVA_OPTIONSを設定していると何も表示されない

[miuele]

_JAVA_OPTIONS環境変数を設定している場合，ファイルからの読み込みに失敗し何も表示されない．

例：

$ export _JAVA_OPTIONS='-Dawt.useSystemAAFontSettings=gasp'
$ java -jar ./lmntal/graphene/graphene.jar --lmntal.file test.lmn
Picked up _JAVA_OPTIONS: -Dawt.useSystemAAFontSettings=gasp
DEBUG Env - jar root path: jar:file:/path/to/lmntal/graphene/graphene.jar!/
DEBUG Env - jar file path: /path/to/./lmntal/graphene/graphene.jar
DEBUG Env - root path: /path/to/./lmntal/graphene/
INFO  Graphene - graphene version unknown started
INFO  Graphene - 16 processors
INFO  Graphene - 220MB free memory
INFO  Graphene - 242MB total memory
INFO  Graphene - 3834MB max memory
INFO  Runtime - run process: env LMNTAL_HOME=/path/to/lmntal /path/to/lmntal/installed/bin/slim -t --dump-json --hl -t --use-builtin-rule --shuffle test.lmn
Exception in thread "main" org.json4s.ParserUtil$ParseException: unknown token P
Near: P
	at org.json4s.native.JsonParser$Parser.fail(JsonParser.scala:270)
	at org.json4s.native.JsonParser$Parser.nextToken(JsonParser.scala:360)
	at org.json4s.native.JsonParser$$anonfun$1.go$1(JsonParser.scala:216)
	at org.json4s.native.JsonParser$$anonfun$1.apply(JsonParser.scala:234)
	at org.json4s.native.JsonParser$$anonfun$1.apply(JsonParser.scala:173)
	at org.json4s.native.JsonParser$.parse(JsonParser.scala:166)
	at org.json4s.native.JsonParser$.parseFromReader(JsonParser.scala:101)
	at org.json4s.native.JsonParser$.parse(JsonParser.scala:52)
	at org.json4s.native.JsonMethods$class.parse(JsonMethods.scala:11)
	at org.json4s.native.JsonMethods$.parse(JsonMethods.scala:83)
	at graphene.plugin.lmntal.LMN$.fromString(Source.scala:95)
	at graphene.plugin.lmntal.LMNtalSource.run(Source.scala:43)
	at graphene.core.gui.MainFrame.runWithFile(MainFrame.scala:53)
	at graphene.Graphene$.delayedEndpoint$graphene$Graphene$1(FrontEnd.scala:45)
	at graphene.Graphene$delayedInit$body.apply(FrontEnd.scala:8)
	at scala.Function0$class.apply$mcV$sp(Function0.scala:34)
	at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
	at scala.App$$anonfun$main$1.apply(App.scala:76)
	at scala.App$$anonfun$main$1.apply(App.scala:76)
	at scala.collection.immutable.List.foreach(List.scala:392)
	at scala.collection.generic.TraversableForwarder$class.foreach(TraversableForwarder.scala:35)
	at scala.App$class.main(App.scala:76)
	at graphene.Graphene$.main(FrontEnd.scala:8)
	at graphene.Graphene.main(FrontEnd.scala)
INFO  Graphene - graphene will shutdown...

---

_JAVA_OPTIONSを設定していると，Javaランタイム起動時，標準エラー出力にPicked up _JAVA_OPTIONS: ...と出力される．
これが原因でGraphene内部でのslim実行時に，JSON出力のパースに失敗していると思われる．

標準エラー出力をリダイレクトしている部分を修正すれば直るかもしれない．

Graphene/src/main/scala/graphene/plugin/lmntal/Source.scala

Line 65 in 0d3556c

pb.redirectErrorStream(true)