Compile errors: empty reduce problem for map at JawaClass and key not ofund at RefactorJawa

[tenmalin]

1. Map reduce problem

org.argus-ide.cit.core - org.argus-ide.cit.core - org.argus-ide.cit.core - 0 - Throwable during asyncExec
java.lang.UnsupportedOperationException: empty.reduceLeft
at scala.collection.TraversableOnce$class.reduceLeft(TraversableOnce.scala:165)
at scala.collection.AbstractTraversable.reduceLeft(Traversable.scala:104)
at org.sireum.jawa.sjc.interactive.JawaClass.updateResolvingLevel(JawaClass.scala:585)
at org.sireum.jawa.sjc.interactive.JawaMethod.setResolvingLevel(JawaMethod.scala:216)
at org.sireum.jawa.sjc.interactive.JawaResolver$$anonfun$resolveMethods$1.apply(JawaResolver.scala:282)
at org.sireum.jawa.sjc.interactive.JawaResolver$$anonfun$resolveMethods$1.apply(JawaResolver.scala:275)
at scala.collection.Iterator$class.foreach(Iterator.scala:750)
at scala.collection.AbstractIterator.foreach(Iterator.scala:1202)
at scala.collection.parallel.ParIterableLike$Foreach.leaf(ParIterableLike.scala:972)
at scala.collection.parallel.Task$$anonfun$tryLeaf$1.apply$mcV$sp(Tasks.scala:49)
at scala.collection.parallel.Task$$anonfun$tryLeaf$1.apply(Tasks.scala:48)
at scala.collection.parallel.Task$$anonfun$tryLeaf$1.apply(Tasks.scala:48)
at scala.collection.parallel.Task$class.tryLeaf(Tasks.scala:51)
at scala.collection.parallel.ParIterableLike$Foreach.tryLeaf(ParIterableLike.scala:969)
at scala.collection.parallel.AdaptiveWorkStealingTasks$WrappedTask$class.internal(Tasks.scala:159)
at scala.collection.parallel.AdaptiveWorkStealingForkJoinTasks$WrappedTask.internal(Tasks.scala:443)
at scala.collection.parallel.AdaptiveWorkStealingTasks$WrappedTask$class.compute(Tasks.scala:149)
at scala.collection.parallel.AdaptiveWorkStealingForkJoinTasks$WrappedTask.compute(Tasks.scala:443)
at scala.concurrent.forkjoin.RecursiveAction.exec(RecursiveAction.java:160)
at scala.concurrent.forkjoin.ForkJoinTask.doExec(ForkJoinTask.java:260)
at scala.concurrent.forkjoin.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1339)
at scala.concurrent.forkjoin.ForkJoinPool.runWorker(ForkJoinPool.java:1979)
at scala.concurrent.forkjoin.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:107)

1. key not found: nanF

2015-07-16 15:41:44,690 ERROR [ModalContext] - NewArgusProjectWizard -
java.util.NoSuchElementException: key not found: nanF
at scala.collection.MapLike$class.default(MapLike.scala:228)
at scala.collection.AbstractMap.default(Map.scala:59)
at scala.collection.mutable.HashMap.apply(HashMap.scala:65)
at org.sireum.jawa.sjc.refactoring.RefactorJawa$.resolveLocalVarType(RefactorJawa.scala:479)
at org.sireum.jawa.sjc.refactoring.RefactorJawa$$anonfun$apply$5$$anonfun$apply$6.apply(RefactorJawa.scala:61)
at org.sireum.jawa.sjc.refactoring.RefactorJawa$$anonfun$apply$5$$anonfun$apply$6.apply(RefactorJawa.scala:58)
at scala.collection.immutable.List.foreach(List.scala:381)
at org.sireum.jawa.sjc.refactoring.RefactorJawa$$anonfun$apply$5.apply(RefactorJawa.scala:57)
at org.sireum.jawa.sjc.refactoring.RefactorJawa$$anonfun$apply$5.apply(RefactorJawa.scala:53)
at scala.collection.immutable.List.foreach(List.scala:381)
at org.sireum.jawa.sjc.refactoring.RefactorJawa$.apply(RefactorJawa.scala:52)
at org.arguside.util.decompile.ApkDecompiler$$anonfun$removeSupportLibAndGen$2.apply(ApkDecompiler.scala:68)
at org.arguside.util.decompile.ApkDecompiler$$anonfun$removeSupportLibAndGen$2.apply(ApkDecompiler.scala:66)
at scala.collection.immutable.List.foreach(List.scala:381)
at org.arguside.util.decompile.ApkDecompiler$.removeSupportLibAndGen(ApkDecompiler.scala:65)
at org.arguside.util.decompile.ApkDecompiler$.decompile(ApkDecompiler.scala:24)
at org.arguside.ui.internal.wizards.NewArgusProjectCreator$$anon$2.run(NewArgusProjectCreator.scala:220)
at org.eclipse.core.internal.resources.Workspace.run(Workspace.java:2313)
at org.eclipse.core.internal.resources.Workspace.run(Workspace.java:2295)
at org.arguside.ui.internal.wizards.NewArgusProjectCreator$.create(NewArgusProjectCreator.scala:283)
at org.arguside.ui.internal.wizards.NewArgusProjectWizard.performFinish(NewArgusProjectWizard.scala:65)
at com.android.ide.eclipse.adt.internal.wizards.templates.TemplateWizard$1.run(TemplateWizard.java:201)
at org.eclipse.jface.operation.ModalContext$ModalContextThread.run(ModalContext.java:122)