Clean-room definition of JPA APIs intended for transitory use in Hibernate JPA development