Encoder prototype in Program.java