zspec.java