jaspecification