A tool that can generate or compare specification skeletons from Java source or class files.