generate_xtreemfs_java: working again
generate_xtreemfs_java: working again

gurkerl83/millipede-xtreemfs,gurkerl83/millipede-xtreemfs,gurkerl83/millipede-xtreemfs,gurkerl83/millipede-xtreemfs,gurkerl83/millipede-xtreemfs,gurkerl83/millipede-xtreemfs,gurkerl83/millipede-xtreemfs