added xstream-1.4.7.jar to libs folder
Modified initialization of ConcurrentFormulaHashMap.java