jpa-compliant index declarations