Dirty hack to make Java Decaf work on BBK's labs.