refactor and remove GlobalSettings.kem

**please review**
Actually, the original plan was to reject pull requests if they are not at least minimally documented.  That means, at least minimal javadoc, but modules should probably have more than minimal documentation.  @dwightguth, please continue to reject pull requests if they come without minimal documentation,

Grigore


________________________________
From: Ömer Sinan Aðacan [notifications@github.com]
Sent: Tuesday, October 28, 2014 1:07 AM
To: kframework/k
Subject: Re: [k] refactor and remove GlobalSettings.kem (#1099)


In k-core/src/main/java/org/kframework/backend/unparser/ConcretizeTerm.java:

> +import org.kframework.kil.Cell;
> +import org.kframework.kil.Term;
> +import org.kframework.kil.Variable;
> +import org.kframework.kil.loader.Context;
> +import org.kframework.kil.visitors.BasicVisitor;
> +import org.kframework.krun.ConcretizeSyntax;
> +import org.kframework.krun.FlattenDisambiguationFilter;
> +import org.kframework.krun.KRunOptions;
> +import org.kframework.krun.SubstitutionFilter;
> +import org.kframework.krun.api.SearchResult;
> +import org.kframework.parser.TermLoader;
> +import org.kframework.parser.concrete.disambiguate.TypeInferenceSupremumFilter;
> +
> +import com.google.inject.Inject;
> +
> +public class ConcretizeTerm {


What is this class doing? Can we at least add module-level documentation?

—
Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/1099/files#r19454500>.