de.jkeylockmanager » jkeylockmanager
JKeyLockManager allows fine-grained locking with application specific keys.