Finalizing the beta version of the implementation for Groovy extension in JPF: JPF...

[jpf-core.git] / src / classes / java / security / AllPermission.java

diff --git a/src/classes/java/security/AllPermission.java b/src/classes/java/security/AllPermission.java
index 658c063b10b70ad69c5b338cf8d0de1c073e9d07..2c9885597f96fdd85f575e85ba1530d0b0a5b2f9 100644 (file)
--- a/src/classes/java/security/AllPermission.java
+++ b/src/classes/java/security/AllPermission.java
@@ -21,6 +21,7 @@ import java.util.Enumeration;
 import sun.security.util.SecurityConstants;
 
 // TODO: Fix for Groovy's model-checking
+// TODO: This model class is a placeholder for future implementation
 /**
  * MJI model class for java.security.AllPermission library abstraction
  */