Update and rename BFTS_Demo.java to Demo.java