Update typesafe:config to 1.3.4 (#85)
Update typesafe:config to 1.3.4 (#85)

Update typesafe:config to 1.3.4
larsrh/libisabelle,larsrh/libisabelle,larsrh/libisabelle,larsrh/libisabelle,larsrh/libisabelle