"TEX00_Example.java"