Update Specification.java

adding javadoc