Leyes de Programación orientada a Objetos para Programas Java Anotados