Configuring the JPA diagram editor