java语言实现修改文件名称的功能

感觉最近有点自卑，不行以后写文章的时候要给自己打鸡血，现在就来一句：「生命之灯因热情而点燃，生命之舟因拼搏而前行」。

上课的时候，老师展示了他那用 matlab 语言解决了学生交实验的文件名命名不规范的问题，其实老师先前让学习委员收，是想让他弄这件事情的，但是学习委员不过醒目，然后老师就自己靠本事吃饭咯。

心血来潮，想着自己能不能也通过 java 语言写一个出来，感觉也高估了自己的能力，自己的编程水平还是有待提高的，以前敲过的代码也仅仅是敲过而已。

问题：解决学生上交文件命名不规范

思路：先读取文件夹里面的内容，然后读取学生的信息，根据学生的姓名匹配原来文件夹里面的文件，最后就是修改啦。

import java.io.File;
import java.io.IOException;
import java.util.Scanner;

public class Main {
	
	static Scanner sc = new Scanner(System.in);
	static properts[] ps1;
	public static void main(String[] args) throws IOException {
		// TODO Auto-generated method stub
		information();   //录入学生的信息:学号和姓名
		change(ps1);     //根据录入的信息修改源文件的名字
	}
	/*
	 * 使用对象数组存取学生的信息:学号和姓名
	 * 其中的错误:  创建多个对象时  properts[] ps1 = {new properts(),new properts(),new properts(),new properts()}
	 */
	public static void in