JTL and the Annoying Subtleties of Precise "-Pattern Definitions

We describe the lessons learned from our experience in translating the natural language definitions, and the actual Java implementa- tion, of micro-patterns into the declarative, formal, and ready for execution, yet human-readable equivalent inJTL (the Java Tools Language).