Executable specifications for Java