Java implementation of Drescher's Schema Mechanism