yEd is a powerful diagram editor which can be used to quickly create diagrams manually or import external data for analysis and auto-magically arrange even large data sets by just pressing a button. You can use yEd to quickly create flow charts, BPMN and UML diagrams, organization charts, mind maps, Entity Relationship diagrams, and many other kinds of diagrams, graphs, and networks. Choose from a wide range of highly sophisticated layout algorithms to automatically arrange diagrams in no time. An intuitive and visually appealing user interface makes creating diagrams fun. Once a diagram has been created, it's easy to save, print, or export it to popular formats like PDF, SWF, EMF, SVG, JPEG, GIF, PNG, or HTML image maps.
Contracts for Java (Cofoja) adds contract programming support to Java through simple yet powerful annotations: @Requires, @Ensures, @Invariant, and @ThrowEnsures. Contracts are inherited from interfaces and superclasses and can be enabled selectively during development then disabled for release.