new post: microtip, eclipse: detail formatters