100644 blob 471a40d3b4281554cad3015f43a4f575109d8e1f	Extension.java
100644 blob aa2d82a948b777a4237ed7652400ca3cbd4f3704	SpecObjectExtension.java
100644 blob 0f69d6404680d17f6f0b8b1311e1832ef843ccb7	ToolextensionFactory.java
100644 blob 911efccab70ced7301d82657a617403b6489f72f	ToolextensionPackage.java
040000 tree 2a60d9ac5aaccd1819ce9182d91a6734a02ce4c0	impl
040000 tree 1ae162ebfea680afe5ec28e4deb058adbbc360e6	util