Specifications_Java