owlcs/owlapi — pull request #309 by sesuncedu (2014-10-10 15:12:25+00:00)
Title: Version4 trim to size tweaks

Minor tweaks to trimToSize.

Call method from OntologyManager when loading ontologies, if the ontology implementation supports it.

Trim the map for map pointers.